大概是罗素悖论证明了Frege对数学逻辑化的失败，而Goedel证明了整个形式逻辑系统都不能作为有些数学公理系统的基础。

所有跟帖： 

• 还有一点就是，都应用了推出矛盾的“反证法”来证明命题。 -露重烟微- ♀ (0 bytes) () 10/26/2024 postreply 07:08:00

• 所以他证明了罗素和怀特海德想把数学的基础建立在现代逻辑之上的努力，注定失败？ -蒋闻铭- ♂ (0 bytes) () 10/26/2024 postreply 07:58:43

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