Life is real,life is earnest.
对付一个不自由的世界唯一的方法就是变得如此绝对自由,以至于你的存在本身就是一种反叛。
A writer is selected by his subject—his subject being the consciousness of his own era.
The beauty of mathematics lies in its ability to simplify the complex.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。