單項(xiàng)選擇題哥德爾不完備性定理是他在1931年提出來的。這一理論使數(shù)學(xué)基礎(chǔ)研究發(fā)生了劃時代的變化,更是現(xiàn)代邏輯史上很重要的一座里程碑。它證明了任何一個形式系統(tǒng),只要包括了簡單的初等數(shù)論描述,而且是()的,它必定包含某些系統(tǒng)內(nèi)所允許的方法既不能證明真也不能證偽的命題。
A.邏輯
B.自洽
C.自主
D.自足
您可能感興趣的試卷
- 中央廣播電視大學(xué)2006--2007學(xué)年度第一學(xué)期“開放本科”期末考試小教專業(yè)《數(shù)學(xué)思想與方法》試題
- 中央廣播電視大學(xué)2008--2009學(xué)年度第一學(xué)期“開放本科”期末考試《數(shù)學(xué)思想與方法》試題
- 中央廣播電視大學(xué)2004--2005學(xué)年度第一學(xué)期“開放本科”期末考試小學(xué)教育專業(yè)《數(shù)學(xué)思想與方法》試題
- 中央廣播電視大學(xué)2008--2009學(xué)年度第二學(xué)期“開放本科”期末考試《數(shù)學(xué)思想與方法》試題
- 中央廣播電視大學(xué)2007--2008學(xué)年度第二學(xué)期“開放本科”期末考試《數(shù)學(xué)思想與方法》試題
- 中央廣播電視大學(xué)2009--2010學(xué)年度第二學(xué)期“開放本科”期末考試《數(shù)學(xué)思想與方法》試題
- 中央廣播電視大學(xué)2006--2007學(xué)年度第二學(xué)期“開放本科”期末考試小教專業(yè)《數(shù)學(xué)思想與方法》試題
你可能感興趣的試題
1.單項(xiàng)選擇題為避免數(shù)學(xué)以后再出現(xiàn)類似問題,數(shù)學(xué)家對集合論的嚴(yán)格性以及數(shù)學(xué)中的概念構(gòu)成法和數(shù)學(xué)論證方法進(jìn)行邏輯上、哲學(xué)上的思考,其目的是力圖為整個數(shù)學(xué)奠定一個堅(jiān)實(shí)的基礎(chǔ)。隨著對數(shù)學(xué)基礎(chǔ)的深入研究,在數(shù)學(xué)界產(chǎn)生了數(shù)學(xué)基礎(chǔ)研究的三大學(xué)派()
A.抽象主義、現(xiàn)實(shí)主義、直覺主義
B.集合主義、抽象主義、形式主義
C.幾何學(xué)派、抽象學(xué)派、現(xiàn)實(shí)學(xué)派
D.邏輯主義、直覺主義、形式主義
2.單項(xiàng)選擇題羅素悖論引發(fā)了數(shù)學(xué)的第三次危機(jī),它的一個通俗解釋就是理發(fā)師悖論:在某個城市中有一位理發(fā)師,他的廣告詞是這樣寫的:“本人的理發(fā)技藝十分高超,譽(yù)滿全城。我將為本城所有不給自己刮臉的人刮臉,我也只給這些人刮臉。我對各位表示熱誠歡迎!”現(xiàn)在的問題是:如果理發(fā)師的胡子長了,他能給自己刮臉嗎()
A.能
B.不能
C.無結(jié)果

最新試題
經(jīng)過長期積累,到西漢時期,我國的數(shù)學(xué)已經(jīng)有了豐富的內(nèi)容.標(biāo)志中國傳統(tǒng)數(shù)學(xué)體系形成的中國傳統(tǒng)數(shù)學(xué)最重要的著作是()。
題型:單項(xiàng)選擇題
19世紀(jì)早期,數(shù)學(xué)家勒讓德第一個解決了如何從數(shù)據(jù)中得出準(zhǔn)確結(jié)論的問題,他發(fā)現(xiàn)了有效利用全部測量結(jié)果的方法直到今天仍然是任何統(tǒng)計(jì)學(xué)基礎(chǔ)的重要部分。人們稱之為()。
題型:單項(xiàng)選擇題
?貫穿高斯的整個學(xué)術(shù)生涯的工作是()。
題型:單項(xiàng)選擇題
一般認(rèn)為,高技術(shù)本質(zhì)上是()。
題型:單項(xiàng)選擇題
第一次有意識地使用系統(tǒng)的代數(shù)字母與符號,以輔音字母表示已知量,元音字母表示未知量的是()。
題型:單項(xiàng)選擇題