这就是为什么我一下子就能抓到丘成桐教授的错误。
他说:“在公元前300年,欧几里得的公理就清楚地指出,一切平面几何定理都可以由少数公理推出。”这当然错误。
欧几里得平面几何公设的成功关键就是不包括自然数和皮亚诺公理,当然就不可能推出平面几何的一切定理。
研究科学逻辑,当然要重新审视、理解欧几里得的逻辑体系。但还不够。我的文章《竞争和逻辑——物理科学、生命科学、智力科学的演变 (18)》有更多介绍。
更多我的博客文章>>>
这就是为什么我一下子就能抓到丘成桐教授的错误。
他说:“在公元前300年,欧几里得的公理就清楚地指出,一切平面几何定理都可以由少数公理推出。”这当然错误。
欧几里得平面几何公设的成功关键就是不包括自然数和皮亚诺公理,当然就不可能推出平面几何的一切定理。
研究科学逻辑,当然要重新审视、理解欧几里得的逻辑体系。但还不够。我的文章《竞争和逻辑——物理科学、生命科学、智力科学的演变 (18)》有更多介绍。
•
欧几里得为什么这样设计?他并不知道皮亚诺公理和哥德尔不完备性定理
-ScottGu-
♂
(226 bytes)
()
02/23/2026 postreply
23:31:47
WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.
Copyright ©1998-2026 wenxuecity.com All rights reserved. Privacy Statement & Terms of Use & User Privacy Protection Policy