分享到:

哥德尔定理能证明人心超过计算机吗

1900年在巴黎召开的数学家大会上,被称为“数学巨匠”的德国数学家希尔伯特向全世界数学家提出  (本文共1页) 阅读全文>>

权威出处: 科技日报2000-11-20
《自然辩证法通讯》2020年12期
自然辩证法通讯

哥德尔纲领的若干版本

哥德尔及后来学者发现的独立性现象是当代数学哲学讨论无法回避的。哥德尔纲领是作为实在论者的哥德尔对独立性现象的回应,体现了对理性的乐观...  (本文共6页) 阅读全文>>

《数学通报》2005年08期
数学通报

智慧巨人——哥德尔

库尔特·哥德尔(Kurt G del)(1906—1978),奥地利数学家和逻辑学家.他是一个被爱因斯坦认为堪与其...  (本文共2页) 阅读全文>>

《飞碟探索》2017年08期
飞碟探索

哥德尔的宇宙:自我循环

我们习惯性地使用与谈论空间相同的词来谈论时间,因为这样做很容易帮助我们展开想象。约翰·霍斯珀斯认为...  (本文共3页) 阅读全文>>

《逻辑学研究》2014年03期
逻辑学研究

哥德尔在构造主义数学方面的工作

众所周知,哥德尔是一位实在论者。然而,他在构造主义数学方面也有着精深的研究和重要的工作。例如,哥德尔的否定性翻译和《辩证法》翻译。这些方法在现今的数理逻辑研究,尤其是证...  (本文共18页) 阅读全文>>

《自然杂志》2006年02期
自然杂志

哥德尔百年

刚送走爱因斯坦年,今年又迎来哥德尔年,尽管没有人这么说。2006年4月28日是哥德尔百年诞辰。对哥德尔的纪...  (本文共4页) 阅读全文>>