哥德尔的伟大，在于他以精巧的形式主义工具否定了形式主义数学的普适性，在客观上支持了与形式主义数学针锋相对的数学直观主义学派的观点；哥德尔的悲剧，在于他始终没有摆脱形式主义思维的怪圈。倒是冯诺伊曼和图灵，受哥德尔定理的启示，迅速抛弃形式主义纯数学的研究，而分别从软件和硬件方面构造了计算机，从而引发了人类社会第三次工业革命，发生了翻天覆地的变化。
哥德尔是人类历史上最伟大的数学哲学家和科学家（跨学科的评论家） ，他的人脑肯定比机器智能强和生物学机械主义终将被科学否定的预言，已被我用全新数学观所证实。
链接地址：http://blog.sciencenet.cn/blog-708260-573566.html
链接地址：http://blog.sciencenet.cn/blog-708260-557712.html
链接地址：http://blog.sciencenet.cn/blog-708260-558558.html
                                            罗祥存  2017.5.14

谢谢评论。谢谢提供信息。