数学的本质在于它的自由。
人生最大的幸福是确信我们被爱;因我们自身而被爱,或者更确切地说,尽管我们自身而被爱。
Data abstraction is the reduction of a particular body of data to a simplified representation of the whole.
当我们发现,这个有形世界的结构竟然与纯由数理逻辑与形上之美所导出的概念紧密相符,这难道不是最令我们觉得奥妙与敬畏的吗?