听说数学家基本看不起物理学家的数学。其实很多物理学家数学比我好。但我研究逻辑,能掏数学的老窝,因为我知道数学的命门
这就是为什么我一下子就能抓到丘成桐教授的错误。
他说:“在公元前300年,欧几里得的公理就清楚地指出,一切平面几何定理都可以由少数公理推出。”这当然错误。
欧几里得平面几何公设的成功关键就是不包括自然数和皮亚诺公理,当然就不可能推出平面几何的一切定理。
研究科学逻辑,当然要重新审视、理解欧几里得的逻辑体系。但还不够。我的文章《竞争和逻辑——物理科学、生命科学、智力科学的演变 (18)》有更多介绍。
更多我的博客文章>>>
