计算的未来在于开发能够自我验证正确性的系统。
The truth about the world, he said, is that anything is possible. Had you not seen it all from birth and thereby bled it of its strangeness it would appear to you for what it is, a hat trick in a medicine show, a fevered dream, a trance bepopulate with chimeras having neither analogue nor precedent, an itinerant carnival, a migratory tentshow whose ultimate destination after many a pitch in many a mudded field is unspeakable and calamitous beyond reckoning.
哲学的任务不是解决问题，而是对问题本身提出质疑。
热机的动力与实现它的工质无关；其量仅由最终实现热量转移的物体之间的温度决定。
