在40年前的今天，1978年1月14日 (农历腊月初六)，数学家、逻辑学家哥德尔逝世。
哥德尔不完全性定理
库尔特·哥德尔（Kurt Gödel）（1906年4月28日（距今112年）—1978年1月14日）是位数学家、逻辑学家和哲学家。其最杰出的贡献是哥德尔不完全性定理和连续统假设的相对协调性证明。
生于捷克的布尔诺，卒于美国普林斯顿。早年在维也纳大学攻读修读理论物理、基础数学，后来又转研数理逻辑、集合论。1951年获爱因斯坦勋章。哥德尔一生发表论著不多。他发表于1931年的论文《〈数学原理〉（指怀德海和罗素所著的书）及有关系统中的形式不可判定命题》是20世纪在逻辑学和数学基础方面最重要的文献之一。
显示评论