逻辑学研究不仅仅是关于推理规则,而是关于推理本身的本质。
"Every discovery is a step closer to understanding the universe."
图灵机和现代计算机之间有什么区别?这与希拉里(Hillary)登上珠穆朗玛峰(Everest)和在高峰期建立希尔顿酒店之间的过程相同。
I’m not afraid of falling, I’m afraid of the fear of falling.
创新不是让事情变得更复杂,而是让事情变得更简单可靠。