日韩欧美亚洲 _ 欧美亚洲一区 _ 日本亚洲欧美 _ 亚洲精品欧美国产白袜脚足J棉袜在线观看_亚洲熟妇av一区二区三区_久久天天躁狠狠躁夜_精品众筹模特私拍在线

填空題

哥德?tīng)柌煌耆远ɡ硪慌e粉碎了數(shù)學(xué)家兩千年來(lái)的信念。他告訴我們：真與可證是兩個(gè)概念（）某種意義上，悖論的陰影將永遠(yuǎn)伴隨著我們。

答案：可證的一定是真的，但真的不一定可證

你可能感興趣的試題

單項(xiàng)選擇題

哥德?tīng)柌煌陚湫远ɡ硎撬?931年提出來(lái)的。這一理論使數(shù)學(xué)基礎(chǔ)研究發(fā)生了劃時(shí)代的變化，更是現(xiàn)代邏輯史上很重要的一座里程碑。它證明了任何一個(gè)形式系統(tǒng)，只要包括了簡(jiǎn)單的初等數(shù)論描述，而且是（）的，它必定包含某些系統(tǒng)內(nèi)所允許的方法既不能證明真也不能證偽的命題。

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

單項(xiàng)選擇題

為避免數(shù)學(xué)以后再出現(xiàn)類似問(wèn)題，數(shù)學(xué)家對(duì)集合論的嚴(yán)格性以及數(shù)學(xué)中的概念構(gòu)成法和數(shù)學(xué)論證方法進(jìn)行邏輯上、哲學(xué)上的思考，其目的是力圖為整個(gè)數(shù)學(xué)奠定一個(gè)堅(jiān)實(shí)的基礎(chǔ)。隨著對(duì)數(shù)學(xué)基礎(chǔ)的深入研究，在數(shù)學(xué)界產(chǎn)生了數(shù)學(xué)基礎(chǔ)研究的三大學(xué)派（）

A.抽象主義、現(xiàn)實(shí)主義、直覺(jué)主義
B.集合主義、抽象主義、形式主義
C.幾何學(xué)派、抽象學(xué)派、現(xiàn)實(shí)學(xué)派
D.邏輯主義、直覺(jué)主義、形式主義