A man provided with paper, pencil, and rubber, and subject to strict discipline, is in effect a universal Turing Machine。
一个有纸、笔、橡皮擦并且坚持严格的行为准则的人,实质上就是一台通用图灵机。
Libraries were full of ideas—perhaps the most dangerous and powerful of all weapons.
我相信每个孩子都是艺术家。问题是我们长大后如何保持艺术家身份。
逻辑学研究不仅仅是关于形式系统,而是理解理性思维的基本结构。