結果就是數理邏輯，現在都不在數學係，搬到哲學係去了。美國的數學係，三十年前，隻有UCLA有邏輯專業。不知道現在還有沒有。

來源: 蔣聞銘於 2024-10-26 08:46:04 [檔案] [博客] [舊帖] [給我悄悄話] 閱讀數 : (0 bytes)

回答: proof theory好像還是建立在數理邏輯之上。由露重煙微於 2024-10-26 08:34:00

您的位置：文學城 » 論壇 » 品茶小軒 » 結果就是數理邏輯，現在都不在數學係，搬到哲學係去了。美國的數學係，三十年前，隻有UCLA有邏輯專業。不知道現在還有沒有。