首页 >> 哥德尔

计算的极限(五):有限的障壁

Filed under: 数学,计算机科学 发表于 2014-07-15 17:11

图灵在普林斯顿的生活踏入第二年。作为博士导师的丘奇,向图灵提出了一个新的题目:探求超越哥德尔不完备性定理的方法。

050313_0737_2.jpg

[小红猪]时间旅行不是梦——哥德尔旋转宇宙

Filed under: 小红猪作品,物理 发表于 2013-05-03 15:40

这里有一个自洽的时间旅行的历史的例子。你回到过去,准备好要朝婴儿时的自己开枪,决心要在宇宙中创造出一个悖论。你瞄准母亲怀抱中的自己。当你正要扣动扳机时,由于婴儿时期的自己从母亲的怀中摔了下来,你肩膀上形成的旧伤突然让你的胳膊一阵痉挛,导致你射偏了。然而,枪声足以吓到你的母亲,把小宝宝摔落在地上,摔伤了肩膀。历史自洽了,宇宙安全了,历史学家们放心了。

希尔伯特之梦,以及梦的破灭

Filed under: 学科,数学 发表于 2009-09-27 11:28

一个天才质疑了另一个天才,并最终证明:数学家研究的“有意义”的数学命题也可能是不可判定的。 Wir müsse […]