大概是羅素悖論證明了Frege對數學邏輯化的失敗，而Goedel證明了整個形式邏輯係統都不能作為有些數學公理係統的基礎。

所有跟帖： 

• 還有一點就是，都應用了推出矛盾的“反證法”來證明命題。 -露重煙微- ♀ (0 bytes) () 10/26/2024 postreply 07:08:00

• 所以他證明了羅素和懷特海德想把數學的基礎建立在現代邏輯之上的努力，注定失敗？ -蔣聞銘- ♂ (0 bytes) () 10/26/2024 postreply 07:58:43

• 看是哪部分的現代數學。Set theory, model theory, recursion theory和proof theo -露重煙微- ♀ (0 bytes) () 10/26/2024 postreply 08:34:00

• proof theory好像還是建立在數理邏輯之上。 -露重煙微- ♀ (0 bytes) () 10/26/2024 postreply 08:34:00

• 結果就是數理邏輯，現在都不在數學係，搬到哲學係去了。美國的數學係，三十年前，隻有UCLA有邏輯專業。不知道現在還有沒有。 -蔣聞銘- ♂ (0 bytes) () 10/26/2024 postreply 08:46:04

• 確實感覺邏輯整體都很式微。前幾年我想自學modal logic的時候，連好的教科書都找不到。 -露重煙微- ♀ (0 bytes) () 10/26/2024 postreply 10:16:00