邏輯主義和形式主義數學是錯誤的,他們是否懂怎麽修正直覺主義數學,是否懂歐幾裏得對柏拉圖作了什麽改進?

本帖於 2024-06-27 15:09:30 時間, 由普通用戶 ScottGu 編輯

我隻做新科學的基礎研究。已經說過:科學尋求真理,不是比誰厲害。

術業有專攻。我隻評論丘教授的“萬物皆數”和其他人的通用人工智能AGI可以實現甚至很快實現等等相關問題。

研究這些問題和數學邏輯,需要一些傳統學術和數學知識及研究,但不是很多。能考上名校數學係研究生的在數學基礎上肯定夠了。在抽象思維和思辨上則有很高要求,需要至少理解邏輯主義、直覺主義、形式主義數學的本質區別和缺陷。對這些問題現在的主流數學界裝聾作啞,也可能是真的不懂。

丘成桐教授看來沒有理解。陶哲軒教授沒有談跟數學邏輯有關的問題,那就對彼此領域保持尊重。不過數學邏輯延伸到科學邏輯和智力新科學,會認為IQ測試沒有科學性,這可能出乎陶教授的意料之外。

請您先登陸,再發跟帖!