proof theory好像还是建立在数理逻辑之上。

所有跟帖： 

• 结果就是数理逻辑，现在都不在数学系，搬到哲学系去了。美国的数学系，三十年前，只有UCLA有逻辑专业。不知道现在还有没有。 -蒋闻铭- ♂ (0 bytes) () 10/26/2024 postreply 08:46:04

• 确实感觉逻辑整体都很式微。前几年我想自学modal logic的时候，连好的教科书都找不到。 -露重烟微- ♀ (0 bytes) () 10/26/2024 postreply 10:16:00