Gödel
» Kurt Gödel 库尔特·哥德尔（1906—1978），奥地利裔美国数学家、逻辑学家，1931年发表了数理逻辑中的两条哥德尔不完备定理（théorèmes d’incomplétude de Gödel），指出任何涵盖初等数论描述的自洽形式系统均不完备，即必定包含既无法证明也无法证伪的命题。
Catégories
Gödel
» Kurt Gödel 库尔特·哥德尔（1906—1978），奥地利裔美国数学家、逻辑学家，1931年发表了数理逻辑中的两条哥德尔不完备定理（théorèmes d’incomplétude de Gödel），指出任何涵盖初等数论描述的自洽形式系统均不完备，即必定包含既无法证明也无法证伪的命题。