偶尔读读康德(Immanuel Kant)的<纯粹理性批判>, 加上最近又在解答本科生的<逻辑与计算>课程问题时重温了下ZFC集合论的一些基本问题, 再次觉得知识是互通的. 这种感觉虽在我大学的时候就初具雏形, 但直到研究生了才激起了我的兴趣,于是将随时想到的东西都记下来(现在我装了twitter). 当然,有些想法可能都缺乏考虑,但是不作为正规的学术文章发表,自己跟自己讨论讨论还是没有问题的.
Tag: Gödel
哥德尔的世界
8/21/2007
➴ 哥德尔的世界 1 流浪
希尔伯特的整个数学世界的形式化垮台(尽管我很崇拜希尔伯特，我更敬佩哥德尔)，哥德尔的不完备性在整个科学理论界，从哲学到数学，从认知科学到生物科学， 可以说是被“泛滥”地应用了。上次在W3C论坛看到一个讨论关于能否让计算机突破不完备性的限制，有位版主的回答很让我思考了一下，他说不完备性限制的仅 仅是形式系统，如果可以建立形式以外的系统，说不定就成功了。回过头来，从哥德尔的理论产生的年代看起，其实有过不少类似的讨论，只是我以前看的那些皮毛 都是被人家转述过的，怎么也得被中间人添加了些不同的东西。现在按照我闲暇时间的看书进度把我仔细阅读歌德尔的传记而理解的东西记录下来，将来在参考一 下。
Continue reading “哥德尔的世界”