人生短暂，过着过着你就没了，明白么？

对付不自由世界的唯一方法就是变得如此绝对自由，以至于你的存在本身就是一种反抗。

建筑必须是庇护所和象征。

I think it's important to have a good hard failure when you're young... I learned a lot from that. Because it makes you kind of aware of what can happen to you. Because of it, I've never had any fear in my whole life when we've been near collapse and so on. I've never been afraid.

即使在抽象中，数学也具有深远的现实应用。

形式化方法不是银弹，但它们是追求可靠系统的重要工具。