Incompleteness Theorem

来源:岁月联盟 编辑:zhu 时间:2010-02-07
    不完备定理是一组逻辑证明,称得上是数学界的一大革命。1932年,24岁的哥尔德(Kurt Godel)发表了该定理。  第一不完备定理阐述了数论(数学的一个分支,研究数字系统和数字的自然属性和方式)具有一致性的结论在其本身假设的基础上是无法证明对还是错的。第二不完备定理阐述了如果某个数论是具有一致性,按照通常的推理方法是无法证明出来的。  当歌尔德的不完备定理证明发表后,当时有些人觉得它们很烦扰。现在数学逻辑学的那些爱钻研的学生觉得它们很有趣。有些人想把它们套用在自然学、社会科学、甚至是神学上。不过这些套用许多都是不合理的,有一些从科学的标准上来看是很荒谬的。  哥尔德出生于捷克共和国,在奥地利长大(童年时代的时候奥地利被称为奥匈帝国)。他的母语是德语。他因对数学逻辑学做出的巨大贡献而出名,但是他同样对既有的那些数学理论作了很多研究。他还是爱因斯坦的朋友,他们曾一起在普林斯顿大学的高级研究所做研究。
上一篇:increment
下一篇:indemnity

图片内容