哥德尔90年前的「不完备性定理」，奠定了计算机与AI的理论基础.大神早已远去，而他的光芒仍在人间。.1931年，奥地利裔美国著名数学家库尔特·哥德尔（KurtGödel）在一篇论文《ÜberformalunentscheidbareSätzederPrincipiaMathematicaundverwandterSysteme》中正式发表了...
1951年获爱因斯坦勋章。哥德尔一生发表论著不多。他发表於1931年的论文《〈数学原理〉（指怀德海和罗素所著的书）及有关系统中的形式不可判定命题》是20世纪在逻辑学和数学基础方面最重要的文献之一。库尔特·哥德尔生于捷克的布尔诺，卒…
哥德尔生前只发表过5篇哲学论文：《罗素的数理逻辑》（1944）、《纪念普林斯顿200周年数学问题会议评论》（1946）、《什么是康托的连续统问题？》（1947）（1964年修订）、《关于相对论与唯心主义哲学之间关系的一点评论》（1949）、《论有穷...
哥德尔——不完备的一生哥德尔生于捷克的布尔诺，早年在维也纳大学攻读物理、数学，并参加哲学小组活动。哥德尔（左二）网上曾曝光了，哥德尔的最早文字记录是他的小学数学练习本，大约时间是1912年，那时的他才6岁。
哥德尔与妻子在这之后，二战的爆发改变了哥德尔的后半段人生。哥德尔身边有许多犹太朋友，导致外界误认为他也是一名犹太人，因此遭到了很多不公的待遇。加上担心自己孱弱的身体不能经受住兵役的摧残，在1940年，他和妻子来到了美利坚合众国，成为了普林斯顿大学的教授。
补充说明一点，哥德尔论文中的κ所代表的公理集合，是指蕴含了皮亚诺算术公理（PeanoAxioms）的集合，这是在哥德尔论文的前面明确了的，所以在阐述定理VI时就没有再特意强调。第一重神功的读者可能会问了“大哥，你说的这些都是啥？
当然，他在1936年的论文中同时引用了哥德尔和丘奇。阿兰·图灵同年，EmilPost发表了另一个的通用计算模型，也引用了哥德尔和Church的...
哥德尔与胡塞尔：观念直观的共识.内容提要：逻辑经验主义和胡塞尔现象学所开创的维也纳传统新方向对哥德尔产生重要的影响。.卡尔纳普和哥德尔都倾向于柏拉图主义的立场。.卡尔纳普指出胡塞尔的“本质观视”概念是一种指向“无时间的本质”的经验...
图灵的论文在奥地利数学家库尔特·哥德尔（KurtGdel）（1931）的开创性研究五年后，以及美国阿隆佐·邱奇(AlonzoChurch)(1935)的研究一年后发表。当然，图灵在1936年的论文中都引用了他们的研究（修正后的研究是在1937年）。
图灵在奥地利数学家库尔特·哥德尔(KurtGödel)开创性工作的五年后，以及图灵的博士导师美国人阿隆佐·丘奇（AlonzoChurch）一年后发表了论文。