數(shù)學符號化的擴充數(shù)理邏輯的興起(2)

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

2、導出來。要推導極限的性質，必須對數(shù)列有明確的概念。這里的數(shù)不只是有理數(shù)，還包括無理數(shù)，這兩種數(shù)構成實數(shù)的集合。所以，當務之急就是建立起嚴格的“實數(shù)”理論。戴德金在1872年發(fā)表了《這續(xù)性與無理數(shù)》這本專著，同年康托爾也發(fā)表實數(shù)理論的文章。康托爾通過一定的有理數(shù)序列（基本序列）來定義實數(shù)。而戴德金則利用有理數(shù)集合的分割來定義實數(shù)。他們的理論雖然邏輯上可靠，但是都不太自然，依賴于有理數(shù)的集合概念。這樣一來，實數(shù)理論的無矛盾性就歸結為有理數(shù)論

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

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