政府的科学是我必须研究的，比其他所有科学都要多；立法、行政和谈判的艺术应该取代，实际上在某种程度上排除所有其他艺术。

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

至今一切社会的历史都是阶级斗争的历史。

The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.

提供背景而非控制。当人们了解事情的背景时，他们会更有生产力和创造力，而不是被告知该做什么。

为了知识本身而追求知识，对正义的近乎狂热的热爱，以及对个人独立的渴望——这些是犹太传统的特征，让我感谢命运让我属于它。