所以他證明了羅素和懷特海德想把數學的基礎建立在現代邏輯之上的努力，注定失敗？

所有跟帖： 

• 看是哪部分的現代數學。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