數(shù)學(xué)符號(hào)化的擴(kuò)充數(shù)理邏輯的興起(2)

1、數(shù)學(xué)符號(hào)化的擴(kuò)充：數(shù)理邏輯的興起數(shù)學(xué)符號(hào)化的擴(kuò)充：數(shù)理邏輯的興起(2)2、悖論動(dòng)搖了整個(gè)數(shù)學(xué)的基礎(chǔ)1900年左右，數(shù)學(xué)已經(jīng)發(fā)展成為一個(gè)龐大的領(lǐng)域了。當(dāng)時(shí)純數(shù)學(xué)大致分為算術(shù)—代數(shù)、幾何和數(shù)學(xué)分析。隨著第二次數(shù)學(xué)危機(jī)的解決，數(shù)學(xué)分析建立在極限理論基礎(chǔ)上。而極限理論中，有些基本性質(zhì)要由“單調(diào)有界的數(shù)列必有極限”這個(gè)定理來(lái)證明。這個(gè)定理從直觀(guān)上看盡管很明顯，但是追求嚴(yán)密性的數(shù)學(xué)家很早就要求不靠直觀(guān)而靠邏輯來(lái)證明，要求一切定理都從比較簡(jiǎn)單的公理推

2、導(dǎo)出來(lái)。要推導(dǎo)極限的性質(zhì)，必須對(duì)數(shù)列有明確的概念。這里的數(shù)不只是有理數(shù)，還包括無(wú)理數(shù)，這兩種數(shù)構(gòu)成實(shí)數(shù)的集合。所以，當(dāng)務(wù)之急就是建立起嚴(yán)格的“實(shí)數(shù)”理論。戴德金在1872年發(fā)表了《這續(xù)性與無(wú)理數(shù)》這本專(zhuān)著，同年康托爾也發(fā)表實(shí)數(shù)理論的文章?？低袪柾ㄟ^(guò)一定的有理數(shù)序列（基本序列）來(lái)定義實(shí)數(shù)。而戴德金則利用有理數(shù)集合的分割來(lái)定義實(shí)數(shù)。他們的理論雖然邏輯上可靠，但是都不太自然，依賴(lài)于有理數(shù)的集合概念。這樣一來(lái)，實(shí)數(shù)理論的無(wú)矛盾性就歸結(jié)為有理數(shù)論

3、，進(jìn)而歸結(jié)成自然數(shù)論的無(wú)矛盾性了。兩者之間找到一種最好的解決辦法。從二十世紀(jì)初，人們就一直在找，雖然并沒(méi)有得到最終滿(mǎn)意的解決，不過(guò)給數(shù)學(xué)提供一個(gè)可靠的基礎(chǔ)還是可以辦得到的。3、羅素的類(lèi)型論1901年6月羅素發(fā)現(xiàn)了“悖論”。他在1902年6月16日把這個(gè)悖論告訴了弗雷格。他在1903年出版的《數(shù)學(xué)的原理》中，有一段可能是在1901年寫(xiě)的，他寫(xiě)道：“作為多的類(lèi)與類(lèi)的項(xiàng)具有不同的類(lèi)型”：“整個(gè)秘密的關(guān)鍵是邏輯類(lèi)型的不同”。對(duì)這個(gè)問(wèn)題的解決，他

4、只寫(xiě)了不到三十行。他還考查了其他的解決辦法，覺(jué)得它們都不令人滿(mǎn)意，于是得出結(jié)論：“沒(méi)有適當(dāng)?shù)恼軐W(xué)涉及到上述的矛盾，這些矛盾直接從常識(shí)中得出，也只能通過(guò)拋棄掉某些常識(shí)的假定而解決”。但是在這本書(shū)出版之前，羅素感覺(jué)到這個(gè)題目還應(yīng)該更加注意，于是他寫(xiě)了大約六頁(yè)的一個(gè)附錄，“嘗試性地提出了類(lèi)型論”，他要求在回答所有問(wèn)題之前變成為更加精致的形式。自然，當(dāng)時(shí)羅素已經(jīng)知道其他的悖論了，例如布拉里福蒂悖論和最大基數(shù)悖論。大約1905年12月，羅素拋棄了