The study of logic is not merely about formal systems, but about understanding the very fabric of rational thought.
逻辑学研究不仅仅是关于形式系统,而是理解理性思维的基本结构。
提醒自己快死了,是我在人生中面临重大决定时,所用过最重要的方法。因为几乎每件事-所有外界期望、所有的名声、所有对困窘或失败的恐惧-在面对死亡时,都消失了,只有最真实重要的东西才会留下。
When we understand knowledge-based systems, it will be as before -- except our fingertips will have been singed.