怎样阅读Principia Mathematica?

先弄个简易的proof checker,看到哪里,就顺便把证明过程检查一下。Principia Mathematica随便怎么读都可以啊。毕竟证明过程中每一步用到了其他地方的结论都把编号写出来了,不知道是怎么来的就翻到那里去看就是了。讲道理,现在流行的教科书到处都是易证,不难得出,留给读者作为习题,甚至有些书上列出来的证明根本经不起proof checker的检验,你都看的下去。Principia Mathematica你还要问怎么读?


    推荐阅读