分享到:

哥德尔不完全性定理的证明过程有误

简述了哥德尔第一不完全性定理和哥德尔第二不  (本文共4页) 阅读全文>>

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

智慧巨人——哥德尔

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

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

哥德尔的宇宙:自我循环

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

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

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

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

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

哥德尔百年

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

《世界哲学》2006年04期
世界哲学

哥德尔的遗产及哥德尔百年启示

2006年4月28日是伟大的逻辑学家、数学家和哲学家库尔特·哥德尔(Kurt G del)诞辰100周年纪念日。为...  (本文共1页) 阅读全文>>