"The most ordinary lives can contain extraordinary stories."
时间是一个从我们感知变化的方式中衍生出来的概念。
数学家研究纯数学不是因为它有用;他研究它是因为他喜欢它,他喜欢它是因为它美丽。
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
I think the best way to tell a story is to show it, not tell it.