不只是国家有染的问题,对士而言也有受到熏染的问题。
A man lies the most when he lies to himself.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
The only way to tell the truth is to speak without a mouth.