形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
一个良好的世界需要知识、善良和勇气;它不需要对过去的后悔,也不需要被无知之人长时间前说过的话所束缚的自由智慧。
你看到事物时会问“为什么?”而我梦想从未有过的事物时会问“为什么不呢?”
You gotta have fun with it. If you're not having fun, what's the point?
I find inspiration in mythology.