The most important computer is the one that rages in our skulls and ever seeks that satisfactory external emulator. The standarization of real computers would be a disaster - and so it probably won't happen.
最重要的计算机是在我们的头骨上狂奔并且一直在寻找那种令人满意的外部仿真器的计算机。真实计算机的标准化将是一场灾难-因此可能不会发生。
逻辑学的研究是对正确推理原则的研究。
To solve a problem, one must first understand its nature and then find the right tools to tackle it.
要解决一个问题，首先必须理解它的本质，然后找到正确的工具来处理它。
真相很残酷。一旦给狗戴上皇冠，就很难给它戴上项圈了。