居然有通用方法?牛逼啊!
那不是什么平面几何题都能解了?可以不依靠计算机吗?
【 在 RI1657 (不敢偷懒) 的大作中提到: 】
: 嗯 平面几何在数学界就是这样神一样的存在,平面几何的题目可以非常非常的难,但是没有数学家研究平面几何了,因为解析几何的方法基本上对平面几何是降维打击,虽然解方程也很麻烦,但是电子计算机可以方面。
: 另外从理论上,平面几何的公理系统无法构造自然数,所以平面几何中不存在无法证明真伪的命题,塔斯基就是根据这个给出了平面几何解题的通用方法。
--
FROM 101.224.17.*