计算的未来在于开发能够自我验证正确性的系统。

通过行动来验证你的思想。

过去在我心中跳动，就像第二颗心。

To write is to try to know what we would write if we wrote.

To be a Christian without prayer is no more possible than to be alive without breathing.

The stock market is a device for transferring money from the impatient to the patient.