结果就是数理逻辑，现在都不在数学系，搬到哲学系去了。美国的数学系，三十年前，只有UCLA有逻辑专业。不知道现在还有没有。

来源: 蒋闻铭于 2024-10-26 08:46:04 [档案] [博客] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)

回答: proof theory好像还是建立在数理逻辑之上。由露重烟微于 2024-10-26 08:34:00

您的位置：文学城 » 论坛 » 品茶小轩 » 结果就是数理逻辑，现在都不在数学系，搬到哲学系去了。美国的数学系，三十年前，只有UCLA有逻辑专业。不知道现在还有没有。