The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
逻辑学研究不仅仅是关于形式系统,更是关于理性思维和话语的规范。
最好的设计来自于深入理解问题,然后找到最简单的解决方案。