所以他证明了罗素和怀特海德想把数学的基础建立在现代逻辑之上的努力，注定失败？

所有跟帖： 

• 看是哪部分的现代数学。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