I like to think of myself as a stylist.
函数的概念在数学中是基础的,而λ演算试图使这一概念精确化。
某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。
关于一个人的真相,往往藏在他们试图隐藏的东西里。
激情是推动创新和成功的燃料。
叙事是一面镜子,不仅反映了我们是什么,还反映了我们可能成为什么。
数学的本质不是使简单的事情复杂化,而是使复杂的事情简单化。