阅读第三篇178~208页。作者所说的“数学之美”。 根据图灵的停机问题、哥德尔的不完备性定理和康托尔的对角线方法来进行分析。
我认为数学之美是在这些看似神奇的构造性证明的背后,其实只是一个简洁优美的数学方法在起作用。举个例子:在lambda的公理系统中,仅仅由三条非常简单的公理构成,而真正需要关注的只是前两条。而这两条公理却能够导出如此令人目眩神迷的Y Combinator。拨开复杂性的迷雾,重新发现他们居然寓于在极度的简洁之中,这就是数学之美。
阅读第三篇178~208页。作者所说的“数学之美”。 根据图灵的停机问题、哥德尔的不完备性定理和康托尔的对角线方法来进行分析。
我认为数学之美是在这些看似神奇的构造性证明的背后,其实只是一个简洁优美的数学方法在起作用。举个例子:在lambda的公理系统中,仅仅由三条非常简单的公理构成,而真正需要关注的只是前两条。而这两条公理却能够导出如此令人目眩神迷的Y Combinator。拨开复杂性的迷雾,重新发现他们居然寓于在极度的简洁之中,这就是数学之美。