單項選擇題哥德爾不完備性定理是他在1931年提出來的。這一理論使數(shù)學(xué)基礎(chǔ)研究發(fā)生了劃時代的變化,更是現(xiàn)代邏輯史上很重要的一座里程碑。它證明了任何一個形式系統(tǒng),只要包括了簡單的初等數(shù)論描述,而且是()的,它必定包含某些系統(tǒng)內(nèi)所允許的方法既不能證明真也不能證偽的命題。

A.邏輯
B.自洽
C.自主
D.自足


你可能感興趣的試題

4.單項選擇題公理化方法的發(fā)展大致經(jīng)歷了這樣三個階段(),用它們建構(gòu)起來的理論體系典范分別對應(yīng)的是《幾何原本》、《幾何基礎(chǔ)》和ZFC公理系統(tǒng)。

A.實質(zhì)公理化階段、純形式公理化階段和形式公理化階段
B.形式公理化階段、實質(zhì)公理化階段和純形式公理化階段
C.實質(zhì)公理化階段、形式公理化階段和純形式公理化階段
D.純形式公理化階段、形式公理化階段和實質(zhì)公理化階段

最新試題

文藝復(fù)興時期的代數(shù)學(xué)巨著《大術(shù)》的作者是()。

題型:單項選擇題

中國數(shù)學(xué)的三個高潮時期是()。

題型:單項選擇題

?成書于1247年,全書共9章18卷約20萬字,收集了與生活密切相關(guān)的81個數(shù)學(xué)問題,其復(fù)雜程度和解題水平代表了當(dāng)時世界最高數(shù)學(xué)水平的著作是()。

題型:單項選擇題

19世紀(jì)早期,數(shù)學(xué)家勒讓德第一個解決了如何從數(shù)據(jù)中得出準(zhǔn)確結(jié)論的問題,他發(fā)現(xiàn)了有效利用全部測量結(jié)果的方法直到今天仍然是任何統(tǒng)計學(xué)基礎(chǔ)的重要部分。人們稱之為()。

題型:單項選擇題

經(jīng)過長期積累,到西漢時期,我國的數(shù)學(xué)已經(jīng)有了豐富的內(nèi)容.標(biāo)志中國傳統(tǒng)數(shù)學(xué)體系形成的中國傳統(tǒng)數(shù)學(xué)最重要的著作是()。

題型:單項選擇題

?平行公理是指()。

題型:單項選擇題

?決定性原理是指()。

題型:單項選擇題

一般認(rèn)為,高技術(shù)本質(zhì)上是()。

題型:單項選擇題

現(xiàn)代統(tǒng)計學(xué)的誕生的標(biāo)志是()。

題型:單項選擇題

?數(shù)學(xué)思維最基本的兩大方面應(yīng)該是()。

題型:單項選擇題