The purpose of computation is insight, not numbers.
当我们发现,这个有形世界的结构竟然与纯由数理逻辑与形上之美所导出的概念紧密相符,这难道不是最令我们觉得奥妙与敬畏的吗?
从正确的事情开始,而不是从可接受的事情开始。
"We are what we pretend to be, so we must be careful about what we pretend to be."