Happy Math Day ! 4/28 (哥德爾、絕食而死)

 

Amathing Number

  • 尚待發現

 

 

Amathing Person

今天出生的數學家共有12人,其中包含1906年出生的奧地利數學家Kurt Gödel(哥德爾)。

 

哥德爾是典型的數學家形象:低調、少言、不喜歡受到注目。

他從小就有強迫症,晚年在醫院絕食而死,因為他覺得食物有毒。

 

關於他最著名的哥德爾不完備定理,我在此引用關鍵評論網被誤用的哥德爾「不完備性」定理一文中的敘述:

要盡量淺白去介紹哥德爾不完備性定理的話,可以這樣說︰假設某個形式系統一致,而且可以表達基本的數學(如算術),這個系統就不可能滿足「完備性」此條件。

引伸的一個結果就是,用來描述算術的形式系統中,存在一些不可判定命題,無法證明也無法否證。

此外,任何可以用來表示算術的系統,例如數學界普遍使用的ZFC集合論,都受到同樣限制(著名的連續統假設就是ZFC中的不可判定命題)。

發表迴響