多数人的暴政是一种加倍的暴政。
数学家的工作大多是孤独的追求,但它建立在许多其他人的工作之上。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。