19世紀70年代
德國數學家康托爾建立了集合論
戴德金與弗雷格進一步
以集合的概念定義自然數
於是問題變成集合論是否矛盾
集合論被看成是整個現代數學的基礎
也被公認為數學的基礎
1900年國際數學家大會上
龐加來宣布數學已達到絕對嚴格
然而此時集合論中出現了悖論
1902年羅素發現的一個悖論引起大家恐慌
1918年羅素提出一個較通俗的悖論
一位小鎮理髮師宣稱
只給那些不為自己刮鬍子的人刮鬍子
那麼他要不要為自己刮鬍子呢
羅素悖論觸及數學基礎
這就是數學史上的第三次危機
數學家為了解決這個問題提出了三種方案
邏輯主義
直覺主義
形式主義
這就是所謂數學基礎三大學派
接下來的問題就變成哲學問題了
(完)
--
這篇也是在灌水
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 219.84.6.137