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

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

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

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

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