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

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


你可能感興趣的試題

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

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

最新試題

愛因斯坦建立廣義相對論的合適的數(shù)學工具是()。

題型:單項選擇題

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

題型:單項選擇題

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

題型:單項選擇題

與阿拉伯人的代數(shù)和三角學成就相比,阿拉伯人在幾何方面的工作主要是()。

題型:單項選擇題

數(shù)學的精確性表現(xiàn)在()。

題型:單項選擇題

?貫穿高斯的整個學術(shù)生涯的工作是()。

題型:單項選擇題

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

題型:單項選擇題

?雖然不同國家、不同學者對高技術(shù)理解不盡相同,但大體上都認為()。

題型:單項選擇題

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

題型:單項選擇題

文藝復興時期的畫家們在發(fā)展焦點透視體系的過程中引入了新的幾何思想,并促成了數(shù)學的一個全新分支是()。

題型:單項選擇題