我的理解是,定理是建立在公理系统上的真理。

本帖于 2007-11-17 21:42:06 时间, 由普通用户 开心豆豆 编辑

虽然公理系统之间或许存在着矛盾。

(当然现在对于证明也有了不同的看法,因为大家都承认的证明只能说明迄今为止正确,不能保证没有错误,所以只能被称为概率意义上的真理,虽然对于大定理来说基本能保证是正确的。)

在这篇文章里,从欧几何到非欧几何的推广,突然推出真理大厦的坍塌,大概不能算是严谨的吧。这可能也是王家妹妹的意思。

谢谢你介绍此书。等你的下文。

所有跟帖: 

请您先登陆,再发跟帖!