逻辑主义和形式主义数学是错误的,他们是否懂怎么修正直觉主义数学,是否懂欧几里得对柏拉图作了什么改进?

来源: 2024-06-19 12:17:33 [博客] [旧帖] [给我悄悄话] 本文已被阅读:

我只做新科学的基础研究。已经说过:科学寻求真理,不是比谁厉害。

术业有专攻。我只评论丘教授的“万物皆数”和其他人的通用人工智能AGI可以实现甚至很快实现等等相关问题。

研究这些问题和数学逻辑,需要一些传统学术和数学知识及研究,但不是很多。能考上名校数学系研究生的在数学基础上肯定够了。在抽象思维和思辨上则有很高要求,需要至少理解逻辑主义、直觉主义、形式主义数学的本质区别和缺陷。对这些问题现在的主流数学界装聋作哑,也可能是真的不懂。

丘成桐教授看来没有理解。陶哲轩教授没有谈跟数学逻辑有关的问题,那就对彼此领域保持尊重。不过数学逻辑延伸到科学逻辑和智力新科学,会认为IQ测试没有科学性,这可能出乎陶教授的意料之外。