哥德尔的世界

8/21/2007

➴ 哥德尔的世界 1 流浪

希尔伯特的整个数学世界的形式化垮台(尽管我很崇拜希尔伯特,我更敬佩哥德尔),哥德尔的不完备性在整个科学理论界,从哲学到数学,从认知科学到生物科学, 可以说是被“泛滥”地应用了。上次在W3C论坛看到一个讨论关于能否让计算机突破不完备性的限制,有位版主的回答很让我思考了一下,他说不完备性限制的仅 仅是形式系统,如果可以建立形式以外的系统,说不定就成功了。回过头来,从哥德尔的理论产生的年代看起,其实有过不少类似的讨论,只是我以前看的那些皮毛 都是被人家转述过的,怎么也得被中间人添加了些不同的东西。现在按照我闲暇时间的看书进度把我仔细阅读歌德尔的传记而理解的东西记录下来,将来在参考一 下。
Continue reading “哥德尔的世界”