單項(xiàng)選擇題“算術(shù)相容性”在希爾伯特的“元數(shù)學(xué)”體系中,是一個(gè)不可判定命題,但是1936年數(shù)學(xué)家()證明了它。

A、魯?shù)婪?br /> B、根岑
C、胡爾維茨
D、馬克勞林


您可能感興趣的試卷

你可能感興趣的試題

1.單項(xiàng)選擇題美國(guó)數(shù)學(xué)家()于1980年出版了著作《數(shù)學(xué):確定性的喪失》。

A、諾伯特·維納
B、約翰·福布斯·納什
C、F·克萊因
D、M·克萊因

2.單項(xiàng)選擇題無論是“說謊者悖論”,還是哥德爾的模仿,問題的核心都指向了()。

A、自相矛盾
B、自相抵消
C、自我指謂
D、不合情推理

3.單項(xiàng)選擇題哥德爾發(fā)表在《數(shù)學(xué)物理期刊》上的論文,提出了()。

A、公理系統(tǒng)不具有獨(dú)立性
B、公理系統(tǒng)不具有相容性
C、公理化方法的局限性
D、公理化方法的優(yōu)勢(shì)

4.單項(xiàng)選擇題哥德爾來自哪個(gè)國(guó)家()

A、法國(guó)
B、德國(guó)
C、奧地利
D、瑞士

5.單項(xiàng)選擇題1899年數(shù)學(xué)家()根據(jù)《幾何原本》的理論經(jīng)行修改,出版了《幾何基礎(chǔ)》。

A、希爾伯特
B、萊布尼茨
C、馬克勞林
D、達(dá)朗貝爾

最新試題

中國(guó)數(shù)學(xué)的三個(gè)繁榮時(shí)期是()

題型:?jiǎn)雾?xiàng)選擇題

對(duì)數(shù)是以下哪位數(shù)學(xué)家最先建立的?()

題型:?jiǎn)雾?xiàng)選擇題

最早的符號(hào)代數(shù)著作是()

題型:?jiǎn)雾?xiàng)選擇題

從數(shù)學(xué)起源開始,數(shù)學(xué)學(xué)科發(fā)展的直接動(dòng)力是什么?

題型:?jiǎn)柎痤}

()的問世標(biāo)志了解析幾何的誕生,進(jìn)而標(biāo)志了近代數(shù)學(xué)開始。

題型:?jiǎn)雾?xiàng)選擇題

()將三角形從天文學(xué)奴仆的地位解放出來,使三角學(xué)脫離了天文學(xué)成為一個(gè)獨(dú)立的數(shù)學(xué)分支。

題型:?jiǎn)雾?xiàng)選擇題

歷史上最大的符號(hào)學(xué)者之一,他所創(chuàng)設(shè)的微積分符號(hào)遠(yuǎn)遠(yuǎn)優(yōu)于牛頓的符號(hào),這對(duì)微積分的發(fā)展有極大的影響,他是()

題型:?jiǎn)雾?xiàng)選擇題

近代數(shù)學(xué)的第一個(gè)里程碑是()的發(fā)明。

題型:?jiǎn)雾?xiàng)選擇題

簡(jiǎn)述隋唐中國(guó)數(shù)學(xué)的兩件大事。

題型:?jiǎn)柎痤}

我國(guó)著名數(shù)學(xué)家()等人利用代數(shù)方法設(shè)計(jì)了一整套的機(jī)械化程序,在1980年前后實(shí)現(xiàn)了初等幾何和微分幾何中的一些主要定理的機(jī)器證明,國(guó)際上稱他的方法為“吳方法”,使得中國(guó)學(xué)者在數(shù)學(xué)機(jī)械化領(lǐng)域處于領(lǐng)先地位,為計(jì)算數(shù)學(xué)和計(jì)算機(jī)技術(shù)的發(fā)展開辟了廣闊的前景。

題型:?jiǎn)雾?xiàng)選擇題