自动机和形式语言的研究对于理解计算的极限是基础性的。
想知道能否信任一个人，最好的方式就是去信任他。
No arts; no letters; no society; and which is worst of all, continual fear, and danger of violent death; and the life of man, solitary, poor, nasty, brutish, and short.
我写作是为了理解自己的存在。