李子:第四次数学危机

楼主:李子ljb 时间:2012-11-06 13:14:00 点击:20736 回复:926
脱水 打赏 看楼主 设置

字体:

边距:

背景:

还原:

上页 1 2 39 下页  到页 
  数学被认为科学中最严格、精密、准确、可靠的。

  如果1+2≠3,则世界会怎样?股市会发疯,核弹不受控,信息网络系统瘫痪,……

  数学的内容十分广泛,而最基础的理论可归为几何学和初等数论。其中以公理系统建立起理论体系的有:欧几里得几何学、非欧几何学的罗氏几何学和黎曼几何学;初等数论有罗素和怀特海1903年所编的《数学原理》建立的形式数论公理(N)系统。


  数学上的第一次危机

  什么是数学危机?数学危机是指出现了可以推翻目前公认数学理论的危险时机。

  既然数学被认为是科学中最严格、精密、准确、可靠的,为何还会出现数学危机呢?这是一个深层次的问题,涉及到数学基础理论建立时未曾预料到的深层问题。

  数学危机并不可怕,毎次数学危机的出现,往往诞生了新的数学理论,人们用新的数学理论取代旧的数学理论。

  数学上的第一次危机发生约在公元前400年。当时的数学来源由古希腊毕达哥拉斯(Pythagoras)学派创立。毕达哥拉斯学派一直信奉一个理念:宇宙中的一切现象都能归结为整数或整数之比。

  毕达哥拉斯学派有一项数学上的重大发现是证明了勾股定理。他们发现了计算直角三角形三边(a、b、c)长的一般公式:c的平方= a的平方+b的平方

  但由此发现了一些直角三角形的三边比不能用整数来表达。

  有人说公元前400年希帕索斯(Hippasus)发现了勾长、股长、弦长不能以整数之比来表示。结果,他被处以死刑。

  如果直角三角形三边a=1,b=1,则斜边c=?

  c不能用整数或整数之比表达出来。


  一、 欧几里得的逻辑论证


  欧几里得(Euclid)在其著作《几何原本》第十篇证明了毕达哥拉斯学派的理念:宇宙中的一切现象都能归结为整数或整数之比。导致数学存在逻辑矛盾。证明如下:

  证明:用反证法。

  假设毕达哥拉斯学派的理念:“宇宙中的一切现象都能归结为整数或整数之比”成立。

  设直角三角形二直角边a=1,b=1,第三边弦的长度约去公因数后,为m/n, m,n至少有一个是奇数。

  由毕达哥拉斯学派勾股定理可得:1的平方+1的平方= 2=(m/n)的平方

  m的平方=2n的平方是偶数,因此m必是偶数(奇数的平方不可能是偶数)。

  则可得n是奇数(结论1)。

  设m=2p,则4p的平方=2n的平方 ,可得n的平方=2p的平方 ,则n的平方必是偶数,故n必是偶数(奇数的平方不可能是偶数)(结论2)。

  (结论1)与(结论2)完全相反,n究竟是奇数还是偶数?

  这一逻辑矛盾表明毕达哥拉斯学派的理念:“宇宙中的一切现象都能归结为整数或整数之比”不可能成立。从而引起数学上的第一次危机。

  数学上第一次危机的结果导致数学家们抛弃了毕达哥拉斯学派的理论,诞生了新的数学理论欧几里得几何学。


打赏

6 点赞

主帖获得的天涯分:0
举报 | | 楼主 | 埋红包
楼主发言:429次 发图:0张 | 添加到话题 |
作者:成康之治 时间:2012-11-06 13:29:00
  @李子ljb 欢迎发表“第四次数学危机”,但希望行文表述,多从全景视角,采用人文,而非单纯的数学语言,来将此次危机的背景,面临的问题,以及可能的解决路径,都能有一个能让外行人看得懂的呈示。
楼主李子ljb 时间:2012-11-07 06:29:00
  板主说的有道理。
  用通俗语言讲清数学问题一直是我期望的一件事。特别是能让外行能看懂,难度很大。
  因发表上下标显示不了,n2只能写n的平方。这导致与读者的沟通有些障碍,容易产生误解。
  而第一次数学危机只涉及勾股定理,初中数学。
  第二次数学危机涉及微积分;
  第三次数学危机涉及数理逻辑学、集合论、悖论;
  第四次数学危机涉及数理逻辑学、悖论、形式数论公理系统、哥德尔不完全性定理、证明论(元数学)。后面三次危机涉及高等数学。
  没有一定数学基础很难读懂。
  如果要详细介绍几次数学危机,要很大篇幅。
  我尽力吧。
  • 龙头牛二: 举报  2016-10-17 10:21:09  评论

    世界够大还不够,还得人多、并仰望星空!
  • 人生初见XX: 举报  2019-01-05 23:54:42  评论

    我一直在想一个问题:为什么数学上大多数定理、公理都是以外国人命名的。难道是我们自己没有数学上的研究?还是国人前辈的研究没有得到有效的保存与传承?那么国外数学上的研究又是怎么得到言传至今?不解不解。。。
剩余 2 条评论  点击查看  我要评论
楼主李子ljb 时间:2012-11-07 15:34:00
  欧几里得几何学

  公元前四世纪,哲学的发展给几何学以深刻的影响,特别是柏拉图学派,把形式逻辑的“三段论”思维方法带到几何论证中,使几何学面貌一新,这方面工作最出色的是欧几里得。

  欧几里得是公元前三世纪人,出生于希腊,其著作《几何原本》共十三卷,几乎涉及了今天中学几何课程的全部内容。他的贡献在于创造性的把前希腊人的几何知识系统地总结出来,构成了一个标准化的演绎体系。牛顿的《自然哲学的数学原理》都采用欧几里得《几何原本》的体例。

  《几何原本》在西方世界成为仅次于《圣经》而流传最广的书籍。

  在《几何原本》第一卷中建立了几何学的“公理系统”。该系统由二十三个定义、五条公理和五条“公设”组成。

  欧几里得的五条公设是:

  Ⅰ、从任何一点到另一点可以引一条直线。

  Ⅱ、每条直线都可以无限延长。

  Ⅲ、以任意点为中心,以任意长为半径可以作圆周。

  Ⅳ、凡直角都相等。

  Ⅴ、平面上两直线被一直线所截,若截线一侧的两内角之和小于二直角,则此两线必相交于截线的这一侧。

  凡不用公设Ⅴ就能证明的命题称为绝对几何命题。人们一直企图证明第五公设可化为绝对几何定理,两千多年证明的失败,表明第五公设可能是独立的命题。



  • QQ领航者: 举报  2017-09-27 05:55:54  评论

    评论 李子ljb:看你这论述应该是现代数学整理的,不会是《几何》原来的东西,因为过去没有的概念,没有的认识不可能出现在古人的著作中。也希望你能把原文呈现出来,这样能完整的体现数学发展的原貌,人类数学认知的过程。
我要评论
作者:成康之治 时间:2012-11-07 16:24:00
  @李子ljb 如果要详细介绍几次数学危机,要很大篇幅。 我尽力吧。

  欢迎开个这样的专贴,标题搞个贴切的,系统的阐述一下这类论题吧!
楼主李子ljb 时间:2012-11-08 16:32:00
  非欧几何学

  欧几里得几何学是数学第一次危机的产物。尽管它存在一些缺点和不足,但在两千多年的时间里一直被公认是反映物质世界的正确理论。

  既然欧几里得几何学是唯一的、必然的、完美的,大家都希望欧几里得几何学的公理、公设简单明白、直截了当。

  用现在的话说是选择公理系统的公理、公设,应该通过我们的直觉即可直接判断公理、公设为真。

  也可以说公理、公设应该显然符合实际,即显然为真,然而欧几里得几何学的第五个公设并不显然为真,更象一条定理,人们一直企图证明第五公设可化为绝对几何定理,两千多年证明的失败,表明第五公设也许不可能获得证明。数学家高斯已经看到了这一点。

  一、罗氏几何学

  俄国的罗巴切夫斯基1929年发表了“关于几何原理的推论”,创立了“罗氏几何”。他以罗氏平行公理取代了欧几里得几何学第五公设。

  罗氏平行公理:过已知直线外一点至少可以作两条直线与已知直线不相交。

  关于非欧几何学,1923年有一个年仅21岁的青年J·波约伊以附录的方式发表过,并给高斯看过。而高斯也有相同的研究,没予发表。

  罗氏平行公理与欧几里得几何学第五个公设是矛盾的,然而这种替换后诞生了新的数学理论罗氏几何学。并且罗氏几何学的无矛盾性可隐含地变成欧几里得几何学的无矛盾性。即如果欧几里得几何学无矛盾,则必可证罗氏几何学无矛盾。

  二、黎曼几何学

  通过“模型”证明非欧几何学的相对无矛盾的方法,导致了另一非欧几何学的诞生,即黎曼(B.Riemann,1826-1866)创立了椭圆几何学。

  这三个几何学并不相容,其定理互相矛盾。

  三个公理系统是相对无矛盾的。即每个几何学的公理系统要么都不存在逻辑矛盾,要么都存在逻辑矛盾。
楼主李子ljb 时间:2012-11-09 11:55:00
  楼上说的没错,欧氏几何可判断其来源为感性经验。
  非欧几何的来源是欧氏几何学,其来源不能说是感性经验。
  而爱因斯坦将黎曼几何学运用于广义相对论,并成功预言了光线在月亮旁发生弯曲,被科学家实践所证实。
  大家都相信欧氏几何是真理,而黎曼通过模型论证明非欧几何学相对欧氏几何学是一致的。
  这样黎曼几何学被大家所接受。
  尽管如此,也有部分顶尖学者至死都不认可非欧几何学,如高斯、弗雷格等。
作者: 时间:2012-11-11 11:55:00
  我也闲着没事在看《数学史概论》、看到牛顿和莱布尼茨掐架就看不深透了。现在最疑惑的是统计理论、有预测的概率论。它们都是以小见大、据往测未的神术,迷惑…
  
作者: 时间:2012-11-11 12:03:00
  朝堂之上还都在用……
  
楼主李子ljb 时间:2012-11-12 12:35:00
  由欧几里得几何学可得到定理p:“三角形内角之和为180度”。
  由罗氏几何可得到定理q:“三角形内角之和小于180度”。

  由黎曼几何学可得到定理r:“三角形内角之和大于180度”。

  其中黎曼几何学是爱因斯坦广义相对论的基础。



  欧几里得几何学是否存在逻辑矛盾?关于这点涉及到欧几里得几何学的生存,如果欧几里得几何学产生逻辑矛盾,则数学又面临危机了。然而到目前为止,欧几里得几何学的不矛盾性并未得到直接的证明,只有相对不矛盾的证明。

  非欧几何学的不矛盾性是通过模型证明了非欧几何学的不矛盾性可归结为欧几里得几何学的不矛盾性。即如果欧几里得几何学是不矛盾的,则必可证非欧几何学是不矛盾的。

  意大利数学家贝特拉米(E.Beltrami,1835-1899)于1869年提出的常负曲率曲面模型(非欧几何学的欧氏模型),德国数学家克莱因(F.Klein,1849-1925)于1871年提出的射影平面模型和彭加勒在1882年提出的用自守函数解释的单位圆内部模型。这些模型的确证明了非欧几何学的相对不矛盾性。

楼主李子ljb 时间:2012-11-13 06:09:00
  第二次数学危机


  牛顿和莱布尼兹被公认为微积分的奠基人。由于其运算的完整性和应用范围的广泛性,使微积分成为解决问题的重要工具,同时关于微积分基础的问题也越来越严重。

  在微分法和求导数的过程中,无穷小量究竟是不是零,引起了极大的争论。

  以求速度为例,瞬时速度是△s/△t,当△t变成零时的值。△t既等于零又不等于零。

  这种包含逻辑矛盾的无穷小量,从一发表就一直遭到一些人的批判和攻击。特别有名的是贝克莱主教(G.Berkeley,1685-1753)在1734年的攻击。

  这些攻击笔者认为很正常,是一种学术辩论,也是辩论各方公开的逻辑论证。因为微积分的基础确实不严密,△t既等于零又不等于零,显然存在逻辑矛盾,它关系到微积分的生存。

  到了十九世纪二十年代,由波尔查诺B.Bolano、阿贝尔N.Abel、柯西A.Cauchy及狄里赫利P.G.Dirichlet等人的工作,将微积分严格地建立在极限的基础上,才克服了第二次数学危机。

作者:梦里熊痴 时间:2012-11-13 10:06:00
  如果要想把这四次数学危机的根源和来龙去脉都讲解清楚,估计至少是数学博士水平了。楼主还需要加油努力啊!

  第一次危机的解决还没讲完呢,怎么就跳到第二次危机了???第一次危机的解决是由引入无理数这个新概念来解决的。有理数无法满足勾股定理,故而必然出现无理数的添加,增大数的范围,才解决第一次的数学危机。这个和黎曼几何没有什么关系啊。
楼主李子ljb 时间:2012-11-13 12:16:00
  楼上说的不错,第一次危机的解决是由引入无理数这个新概念来解决的。有理数无法满足勾股定理,故而必然出现无理数的添加,增大数的范围,才解决第一次的数学危机。这是后面的改进。
  第一次数学危机的产物是欧几里得几何学理论的诞生。它是有史以来第一次总结古希腊人的数学知识,构建一个标准化演绎体系,欧几里得几何公理系统。
  对欧几里得几何第五公设的证明,导致了非欧几何学的诞生。黎曼几何学是其中的一种。
  • 龙头牛二: 举报  2016-10-17 13:16:47  评论

    小心是白皮滴子孙工业化完成爆发后,专修门帘弄出来滴哟!~~~总结古希腊人的数学知识
我要评论
楼主李子ljb 时间:2012-11-14 07:09:00
  任何一个公理系统都存在三个基本性质。
  一、公理系统的不矛盾性。所谓公理系统的不矛盾性是指该系统不会出现即可证定理p,又可证其否定命题﹃p。

  二、公理系统的独立性。即指公理系统的某公理能否被其它公理所证明,可证则该公理不独立,否则该公理独立。因此一个公理系统一般会选独立的命题作公理。但公理是否独立,不会改变该公理系统的不矛盾性、完备性和其它性质。

  三、公理系统的完备性。所谓公理系统的完备性是指在本系统为真的命题能否被本系统所证明。能证明则系统完备,不能证明则系统不完备。

  目前,数学最严格的要求是系统的不矛盾性。一旦系统出现矛盾,数学危机就会出现。

作者:泰坦00 时间:2012-11-15 16:22:00
  基础科学
楼主李子ljb 时间:2012-11-16 07:46:00
  数学上已发生过三次数学危机。

  第一次数学危机是发现了一些直角三角形的三边不能用整数或整数之比来表达,由此导致古典逻辑与欧几里得几何学的发展。

  第二次数学危机是无穷小量是不是零的争论,导致了集合论的诞生,并把数学分析的无矛盾性问题化归为实数论的无矛盾性问题。

  第三次数学危机是1901年6月罗素在集合论发现了“悖论”,并且一连串的集合论的悖论出现,动摇了整个数学的基础,使数学家们不得不修改数学理论,希望将悖论彻底排除。

  数学的三次危机都与逻辑矛盾有关。一个数学理论不存在逻辑矛盾是判定该理论为数学真理的唯一标准。

  数学家以不存在逻辑矛盾作为判定数学真理的唯一标准。这种方法作否定标准是可行的。

  因为一个系统若存在逻辑矛盾,则会出现即可证定理p,又可证其否定命题﹃p。如果定理p符合事实,是真命题,则命题﹃p必然与事实不符,﹃p必假。而假命题不是真理。

作者:micropen 时间:2012-11-16 15:17:00
  好帖,顶一下。


作者:未入流在2012 时间:2012-11-16 17:11:00
  楼主的数学逻辑证明,作为形式化数学是没有异议的。但对于辩证逻辑来说就是片面的,概念关系的片面。基本概念就片面,其他就不用说了。
  ---------------------------
  因为一个系统若存在逻辑矛盾,则会出现即可证定理p,又可证其否定命题﹃p。如果定理p符合事实,是真命题,则命题﹃p必然与事实不符,﹃p必假。而假命题不是真理。
  ---------------------------
  以上证明是形式逻辑的证明,没有包含辩证逻辑。辩证逻辑本身就是形式逻辑的非,命题本身的概念就是包含非的。p∪﹃p的关系才是全面的概念逻辑关系,包含p(形式逻辑的关系),﹃p(辩证逻辑的关系),p∪﹃p是全面的概念逻辑关系。
  我不多说了,楼主讲完以后我们探讨
我要评论
作者:未入流在2012 时间:2012-11-16 17:24:00
  第三次数学危机并没有圆满解决,所以才有楼主所认为的第四次数学危机。哥德尔定理的完备性解决了以后,才能产生第四次危机。
作者:愿天地你我知 时间:2012-11-17 21:31:00
  可以看出,这----是很考人的呀!
作者:未入流在2012 时间:2012-11-18 02:52:00
  不知楼主对数学一致性与完备性如何看?
  只有形式逻辑就只有一致性而与完备性异远,一致性与完备性在形式逻辑中就是矛盾。哥德尔定理不过是把这个矛盾显化而已,罗素悖论与哥德尔定理本质上是一回事,不同问题的具体表现罢了。只有形式逻辑,就是死路一条
楼主李子ljb 时间:2012-11-18 20:33:00
  关于一致性应该大部人很清楚,即指一个理论,既能证明p,又能证明﹃p。
  关于完备性可以简单理解为,在公理系统k内,存在k系统合式公式(命题)p与﹃p均不可证。
  关于辩证逻辑不能说比形式逻辑全面。
  辩证逻辑是一种动态逻辑,是用发展、变化的眼光看待事物。是二种不同的逻辑,尽管如此,辩证逻辑也要遵守形式逻辑的规律。
楼主李子ljb 时间:2012-11-18 21:01:00
  关于一致性应该大部人很清楚,即指一个理论,既能证明p,又能证明﹃p。
  更正为;关于一致性应该大部人很清楚,即指一个理论,不能既可证明p又能证明﹃p。
作者:未入流在2012 时间:2012-11-18 21:02:00
  楼主继续吧,干扰了楼主的思路,抱歉了
作者:未入流在2012 时间:2012-11-19 16:48:00
  从逻辑上讲,一致性就是不产生矛盾,完备性就是包含任意可能。哥德尔定理就指出了形式化数学本身存在矛盾,是p与﹃p之间的矛盾。也就是有了﹃p以后就没有了完备性,﹃p是一种可能
作者:未入流在2012 时间:2012-11-19 16:51:00
  形式逻辑并没有包含﹃p,所以,就不具有完备性
作者:未入流在2012 时间:2012-11-19 17:19:00
  在数学上,就是形式化数学没有包含无穷。所以,哥德尔定理指出,p 与﹃p都不包含无穷,两者解决不了无穷的问题。p∪﹃p的逻辑概念关系,包含了无穷的概念关系。p是一点,﹃p就包含了无穷。只有﹃p不包含p一点,p∪﹃p是永远包含无穷的概念关系
作者:未入流在2012 时间:2012-11-19 17:33:00
  p∪﹃p就是不矛盾律(形式逻辑的矛盾律)与排中律,两个定律共同的逻辑公式。说明概念本身要符合两律,要包含他的非,也就是辩证逻辑。这样才是全面的逻辑概念关系
我要评论
楼主李子ljb 时间:2012-11-19 17:39:00
  楼上对哥德尔不完全性定理有误解。

  “哥德尔定理就指出了形式化数学本身存在矛盾,是p与﹃p之间的矛盾。也就是有了﹃p以后就没有了完备性,﹃p是一种可能”

  哥德尔第一不完全性定理:如果形式数论公理系统N是一致的,则存在数论命题g在N内不可证,并且﹃g不可证。而若扩充g为N的公理,在新系统:N+g内,依然存在不可证命题g’。哥德尔用对角线法证明了,永远存在无法弥补的漏洞,即形式数论公理系统若是一致的,则一定不完备。

  哥德尔并没有证明:形式化数学本身存在矛盾。
楼主李子ljb 时间:2012-11-19 17:43:00
  形式逻辑并没有包含﹃p,所以,就不具有完备性。
  --------------------------------------
  在形式逻辑有p ,非p(﹃p),还有5个真值表都有﹃p。

  这样的观点不要发表出来啦。

楼主李子ljb 时间:2012-11-19 17:57:00
  形式化数学没有包含无穷。这也是错误的。
  举个例子:
  所有自然数的集合,包含无穷了吧?这是集合论的内容。
  罗素的类型论及谓词演算中的量词所有(将A倒过来)就包含无穷。
作者:未入流在2012 时间:2012-11-19 18:16:00
  楼主对数学的理解太简单了。数学的运算只是点、线、面、空间的具体计算,点、线、面、空间都是无穷的概念,计算并没有包含无穷概念。无穷你能计算吗?是概念,不是数值,你如何计算?
作者:未入流在2012 时间:2012-11-19 18:17:00
  数学的深层问题是概念的问题,并不是计算的问题
楼主李子ljb 时间:2012-11-19 18:41:00
  请原谅,我不再回复你的提问。
作者:未入流在2012 时间:2012-11-19 18:48:00
  数学为什么与逻辑有关?
  就因为概念。没有概念,就没有逻辑的事
楼主李子ljb 时间:2012-11-20 07:38:00
  数学的相对不矛盾性与数学危机

  欧几里得几何学是否存在逻辑矛盾?关于这点涉及到欧几里得几何学的生存,如果欧几里得几何学产生逻辑矛盾,则数学又面临危机了。然而到目前为止,欧几里得几何学的不矛盾性并未得到直接的证明,只有相对不矛盾的证明。

  非欧几何学的不矛盾性是通过模型证明了非欧几何学的不矛盾性可归结为欧几里得几何学的不矛盾性。即如果欧几里得几何学是不矛盾的,则必可证非欧几何学是不矛盾的。

  意大利数学家贝特拉米(E.Beltrami,1835-1899)于1869年提出的常负曲率曲面模型(非欧几何学的欧氏模型),德国数学家克莱因(F.Klein,1849-1925)于1871年提出的射影平面模型和彭加勒在1882年提出的用自守函数解释的单位圆内部模型。这些模型的确证明了非欧几何学的相对不矛盾性。

  李子三十几个几何学的不矛盾性是通过欧几里得几何学的不矛盾性和其公设的独立性而获得了相对不矛盾性的证明。

  数学家们认为只要某公理系统的本系统不矛盾,则可以认可。因数学家们相信欧几里得几何学是不矛盾的,所以非欧几何学在十九世纪八十年代被大部分数学家所接受。

  希尔伯特的《几何学基础》的出版,标志着数学公理化新时期的到来。希尔伯特把几何学公理的无矛盾性变成了实数算术的无矛盾性。

  戴德金、康托尔进一步把实数算术的无矛盾性归结成自然数论的无矛盾性。

  弗雷格和戴德金又把自然数论的无矛盾性归结为逻辑与集合论,这样一来,逻辑与集合论成为了整个数学的基础。

  罗素在集合论发现了罗素悖论,震动了整个数学界,第三次数学危机由此引发。


作者:醉楼楼 时间:2012-11-20 10:14:00
  数学啊, 现在发展还行吧, 主要是计算机方面应用很大!
楼主李子ljb 时间:2012-11-21 19:24:00
  第三次数学危机


  十九世纪七十年代数学家康托尔创立的集合论是现代数学的基础,也是第三次数学危机的直接来源。

  1901年6月,罗素在集合论发现了“悖论”。悖论的出现动摇了整个数学的基础,数学面临第三次数学危机。

  什么是悖论?悖论p是一种矛盾命题。它存在以下逻辑关系:

  如果命题p是悖论,则p→┓p,并且┓p→p。

  古老的悖论是说谎者悖论。

  命题p:“本命题是假的”

  若p为真,则p应该与事实相符,而p的内容是p是假的,由此可得p为假。

  如果p是假的,而命题p的内容表明自己是假的,则命题p的内容与事实完全相符,命题p是真话,应该是真命题。

  命题p究竟为真还是为假呢?

  罗素悖论:

  一个集r,它由下述条件定义出:

  对于任一x而言,x∈r,当且仅当x不∈x。

  用r替换x后可得:

  r∈r,当且仅当r不∈r。

  用自然语言简述一下这个悖论A:所有不属于自己集合的集合。

  如果A属于A,则A是A的元素,而A的元素性质是不属于自己,产生矛盾,因此A不属于A。

  如果A不属于A,则因A是所有不属于自己集合的集合。

  故A属于A。

  现问:A属于A,还是不属于A?

  罗素悖论简单明了,震惊整个数学界,造成了第三次数学危机。

  罗素一直都在努力消除数学中存在的悖论,罗素与和怀特海的《数学原理》也引起一些争论,但到目前为止还没有更好的数学理论能象《数学原理》由简单的几个公理,可推出数论的大部分定理。

  哥德尔不完全性定理不仅表明《数学原理》不可能推出数论的所有真命题,但也表明对所有的数学理论,只要包含初等形式数论系统,哥德尔不完全性定理都成立。

  目前没有任何一个数学理论能推出数论的所有真命题。《数学原理》依然是数学的基础。

  1935年起甘岑等人用新方法去证明数论的一致性,到1936年给出了证明。1940年阿克曼给出了另一个证明。1958年哥德尔用自然数域上有穷类型的可计算函数对自然数论的一致性给出了另一个证明。至此,数论的一致性(不矛盾性)已经得到了严格的证明,数学似乎已彻底的解决了矛盾问题。

  然而李子说数学矛盾还未彻底解决,在罗素的《数学原理》的形式数论系统存在逻辑矛盾和逻辑悖论,并且任何包含初等形式数论系统的理论都是不一致的。

  数学面临第四次危机!

  (请阅后续文章《第四次数学危机》)


我要评论
楼主李子ljb 时间:2012-11-21 19:33:00
  第三次数学危机


  十九世纪七十年代数学家康托尔创立的集合论是现代数学的基础,也是第三次数学危机的直接来源。

  1901年6月,罗素在集合论发现了“悖论”。悖论的出现动摇了整个数学的基础,数学面临第三次数学危机。

  什么是悖论?悖论p是一种矛盾命题。它存在以下逻辑关系:

  如果命题p是悖论,则p→┓p,并且┓p→p。

  古老的悖论是说谎者悖论。

  命题p:“本命题是假的”

  若p为真,则p应该与事实相符,而p的内容是p是假的,由此可得p为假。

  如果p是假的,而命题p的内容表明自己是假的,则命题p的内容与事实完全相符,命题p是真话,应该是真命题。

  命题p究竟为真还是为假呢?

  罗素悖论:

  一个集r,它由下述条件定义出:

  对于任一x而言,x∈r,当且仅当x不∈x。

  用r替换x后可得:

  r∈r,当且仅当r不∈r。

  用自然语言简述一下这个悖论A:所有不属于自己集合的集合。

  如果A属于A,则A是A的元素,而A的元素性质是不属于自己,产生矛盾,因此A不属于A。

  如果A不属于A,则因A是所有不属于自己集合的集合。

  故A属于A。

  现问:A属于A,还是不属于A?

  罗素悖论简单明了,震惊整个数学界,造成了第三次数学危机。

  罗素一直都在努力消除数学中存在的悖论,罗素与和怀特海的《数学原理》也引起一些争论,但到目前为止还没有更好的数学理论能象《数学原理》由简单的几个公理,可推出数论的大部分定理。

  哥德尔不完全性定理不仅表明《数学原理》不可能推出数论的所有真命题,但也表明对所有的数学理论,只要包含初等形式数论系统,哥德尔不完全性定理都成立。

  目前没有任何一个数学理论能推出数论的所有真命题。《数学原理》依然是数学的基础。

  1935年起甘岑等人用新方法去证明数论的一致性,到1936年给出了证明。1940年阿克曼给出了另一个证明。1958年哥德尔用自然数域上有穷类型的可计算函数对自然数论的一致性给出了另一个证明。至此,数论的一致性(不矛盾性)已经得到了严格的证明,数学似乎已彻底的解决了矛盾问题。

  然而李子说数学矛盾还未彻底解决,在罗素的《数学原理》的形式数论系统存在逻辑矛盾和逻辑悖论,并且任何包含初等形式数论系统的理论都是不一致的。

  数学面临第四次危机!

  (请阅后续文章《第四次数学危机》)


楼主李子ljb 时间:2012-11-21 19:58:00
  无法发帖
楼主李子ljb 时间:2012-11-22 11:42:00
  这是一个很有趣的问题。我已找到了问题所在,暂不发表,考考网友,为什么会多出一个面积呢?
楼主李子ljb 时间:2012-11-22 12:03:00
  明天告诉你答案。给你一天思考时间,错在哪里呢?
作者:fhh0307314 时间:2012-11-22 22:49:00
  @老马识途否2012 46楼
  
  -----------------------------
  这两个三角形的斜边都不是直线
  上面的是向外凸的下面的是向内凹的
作者:fhh0307314 时间:2012-11-22 22:55:00
  @fhh0307314 49楼
  这两个三角形的斜边都不是直线
  上面的是向外凸的下面的是向内凹的
  -----------------------------
  更正下说反了
楼主李子ljb 时间:2012-11-23 06:48:00
  老马公布答案了。问题就在斜边不是直线。

  可进行下面的证明:
  在图中有一个红色三角形和绿色三角形。
  如果大三角形的斜边是直线,则根据欧几里得几何学可得:同位角相等。由此可得:红色三角形和绿色三角形的左边的尖角相等。
  根据正切函数的关系:
  tg@=对边÷邻直角边

  设小长方形高为a,底边为b,则

  绿色三角形的左边的尖角tg@=2a÷5b
  红色三角形的左边的尖角tg@=3a÷8b

  二者不相等,角度不等,则大三角形的斜边不是直线。
楼主李子ljb 时间:2012-11-23 07:31:00
  对问题进行研究,才能发现真理。

  不要迷信权威和书本。

  侞利略发现钟摆规律就是根据现场观察发现:钟摆规律的事实与书本权威观点不同,提出了新的符合事实的钟摆规律新观点。

  本人比不了侞利略,但研究都是一样的,那就是发现问题,穷追不舍。
楼主李子ljb 时间:2012-11-29 20:22:00
  无法发贴
楼主李子ljb 时间:2012-12-09 17:47:00
  哥德尔的第一不完全性定理

  1931年哥德尔证明了著名的第一不完全性定理,可称之为数理逻辑最重大的成就之一。哥德尔证明了下一个逻辑蕴涵命题为真命题:

  一个包含初等数论的形式系统N,如果N是一致的,则N是不完备的。

  哥德尔十分巧妙而严格地证明了第一不完全性定理。

  首先他将罗素《数学原理》的形式数论公理系统的符号、公式、证明序列都给予唯一的自然数编码(哥德尔数),其次十分巧妙地构造了形式数论符号命题g:“我不可证”,最后进行了严格的证明。

  哥德尔第一不完全性定理证明了:包含初等形式数论系统的N系统,如果N一致,则存在不可证数论符号命题g,g用自然语言表达即为:“我在本系统不可证”。

  哥德尔证明了:如果N一致,则g不可证。如果N是w一致的,则? g不可证。并证明了用扩充公理g的办法,在新系统N+g系统依然存在新系统不可证数论符号命题g’。 g’用自然语言表达即为:“我在本系统不可证”。即g’为:“我在N+g系统不可证”。他用对角线法证明了N存在永远无法弥补的漏洞,即N不完备。即无论怎样扩充公理,都存在本系统不可证的数论符号命题。

  有数学家进一步证明了如果N一致,则g与? g均不可证。

楼主李子ljb 时间:2012-12-09 17:50:00
  哥德尔的第一不完全性定理

  1931年哥德尔证明了著名的第一不完全性定理,可称之为数理逻辑最重大的成就之一。哥德尔证明了下一个逻辑蕴涵命题为真命题:

  一个包含初等数论的形式系统N,如果N是一致的,则N是不完备的。

  哥德尔十分巧妙而严格地证明了第一不完全性定理。

  首先他将罗素《数学原理》的形式数论公理系统的符号、公式、证明序列都给予唯一的自然数编码(哥德尔数),其次十分巧妙地构造了形式数论符号命题g:“我不可证”,最后进行了严格的证明。

  哥德尔第一不完全性定理证明了:包含初等形式数论系统的N系统,如果N一致,则存在不可证数论符号命题g,g用自然语言表达即为:“我在本系统不可证”。

  哥德尔证明了:如果N一致,则g不可证。如果N是w一致的,则? g不可证。并证明了用扩充公理g的办法,在新系统N+g系统依然存在新系统不可证数论符号命题g’。 g’用自然语言表达即为:“我在本系统不可证”。即g’为:“我在N+g系统不可证”。他用对角线法证明了N存在永远无法弥补的漏洞,即N不完备。即无论怎样扩充公理,都存在本系统不可证的数论符号命题。

  有数学家进一步证明了如果N一致,则g与? g均不可证。

楼主李子ljb 时间:2012-12-09 17:51:00
  哥德尔的第一不完全性定理

  1931年哥德尔证明了著名的第一不完全性定理,可称之为数理逻辑最重大的成就之一。哥德尔证明了下一个逻辑蕴涵命题为真命题:

  一个包含初等数论的形式系统N,如果N是一致的,则N是不完备的。

  哥德尔十分巧妙而严格地证明了第一不完全性定理。

  首先他将罗素《数学原理》的形式数论公理系统的符号、公式、证明序列都给予唯一的自然数编码(哥德尔数),其次十分巧妙地构造了形式数论符号命题g:“我不可证”,最后进行了严格的证明。

  哥德尔第一不完全性定理证明了:包含初等形式数论系统的N系统,如果N一致,则存在不可证数论符号命题g,g用自然语言表达即为:“我在本系统不可证”。

  哥德尔证明了:如果N一致,则g不可证。如果N是w一致的,则? g不可证。并证明了用扩充公理g的办法,在新系统N+g系统依然存在新系统不可证数论符号命题g’。 g’用自然语言表达即为:“我在本系统不可证”。即g’为:“我在N+g系统不可证”。他用对角线法证明了N存在永远无法弥补的漏洞,即N不完备。即无论怎样扩充公理,都存在本系统不可证的数论符号命题。

  有数学家进一步证明了如果N一致,则g与? g均不可证。

楼主李子ljb 时间:2012-12-11 07:45:00
  有数学家进一步证明了如果N一致,则g与? g均不可证。

  其中?g为非g
楼主李子ljb 时间:2012-12-11 12:45:00
  第四次数学危机




  N是不一致的



  在数学中,公理是可以随意设立的。在哥德尔的第一不完全性定理中,只要包含N,就一定存在不可证数论命题。现令某数论命题T作为公理扩充给N,组成新的系统N+T。

  根据哥德尔第一不完全性定理,则新系统N+T 内必存在不可证命题g’。现令T = g’,即两命题符号串完全相同,即哥德尔数相同,请问N还一致吗?

  一方面新系统N+T一定可以表达g’,如果不能表达,则哥德尔第一不完全性定理不能成立。因哥德尔用扩充N公理系统g的办法组建新的公理系统可以表达本系统不可证的命题,故用扩充N公理系统的数论命题T的办法组建新的公理系统必然可以表达g’。

  另一方面g’和? g’在N系统均不可证,因若可证,则新系统与N系统为同一系统。而新系统必可证g’,并且可证? g’,新系统是矛盾的。因此若N一致,则g’和? g’在N系统均不可证。

  因g’和? g’在N系统均不可证,且新系统是由N一致的扩充而来,所以N+T不一致,则N不一致。

  可能有人说T不能扩充给N,这是没道理的。

  一是T(g’)是数论符号命题是存在的,只要N扩充任一公理,该新系统就会有不可证数论符号命题g’,否则,哥德尔第一不完全性定理不能成立。

  二是扩充公理并没有限定条件。即没有规定哪个命题可以作公理,哪个命题不能作公理。

  还可以设计一个数论命题,用自然语言表达为k:我在所有系统不可证。k就是一个数论悖论。一方面它确实不可证,另一方面又不能扩充为公理。



  三、实质蕴涵存在悖论



  设计一个实质蕰涵命题A,A:(P→P)→ ? A

  (P→P)是永真式,其值恒真。

  根据五个真值表:如果A真,则? A假,则实质蕰涵命题:【(P→P)→ ? A】为假,即A假。

  如果A假,则? A真, 根据五个真值表可得:【(P→P)→ ? A】为真。

  请问A的真假?

  A构成了一个悖论。



  四、真值表悖论



  命题B:(P∧ ? P)∨ ? B

  (P∧ ? P)是永假式,其值恒假。

  如果B真,则? B假,根据五个真值表可得:【(P∧ ? P)∨ ? B】为假。

  如果B假,则? B真, 根据五个真值表可得::【(P∧ ? P)∨ ? B】为真。

  请问B的真假?

  B也构成了一个悖论。

  [size=+0]罗素和怀特海的形式数论系统N,存在悖论,数学开始面临第四次数学危机。

楼主李子ljb 时间:2012-12-11 13:03:00
  所有?为非,即?p为“非p”。复制时发生变异。
楼主李子ljb 时间:2012-12-12 07:35:00
  三、实质蕴涵悖论

  设计一个实质蕰涵命题a,a:(p→p)→ ﹃ a

  (p→p)是永真式,其值恒真。

  根据五个真值表:如果a真,则﹃ a假,则实质蕰涵命题:【(p→p)→ ﹃ a】为假,即a假。

  如果a假,则﹃ a真,根据五个真值表可得:【(p→p)→ ﹃ a】为真,即a真。

  请问a的真假?

  a构成了一个悖论。



  四、析取命题悖论



  命题b:(p∧ ﹃ p)∨ ﹃ b

  (p∧ ﹃ p)是永假式,其值恒假。

  如果b真,则﹃ b假,根据五个真值表可得:【(p∧ ﹃ p)∨ ﹃ b】为假,即b假.

  如果b假,则﹃ b真, 根据五个真值表可得::【(p∧ ﹃ p)∨ ﹃ b】为真,即b真。

  请问b的真假?

  b也构成了一个悖论。



  五、合取命题悖论



  命题c:(p→p)∧ ﹃ c

  (p→p)是永真式,其值恒真。

  根据五个真值表:如果c真,则﹃ c假,则命题:【(p→p)∧﹃ c】为假,即c假。

  如果c假,则﹃ c真,根据五个真值表可得:【(p→p)∧ ﹃ c】为真,即c真。

  请问c的真假?

  c构成了一个悖论。



  六、等值命题悖论



  命题d,d:(p→p)? ﹃ d

  (p→p)是永真式,其值恒真。

  根据五个真值表:如果d真,则﹃ d假,则等值命题:【(p→p)? ﹃ d】为假,即d假。

  如果d假,则﹃ d真,根据五个真值表可得:【(p→p)?﹃ d】为真,即d真。

  请问d的真假?

  d构成了一个悖论。

  [size=+0]罗素和怀特海的形式数论系统N,存在悖论,数学开始面临第四次数学危机。



楼主李子ljb 时间:2012-12-13 07:39:00
  数学的新危机 (2)


  李子在《第四次数学危机》一文中已证明,任何包含罗素和怀特海的形式数论公理系统的理论都存在逻辑矛盾,是不一致的,并给出了六个悖论。

  悖论1:令T = g’,即两命题符号串完全相同,即哥德尔数相同,导致形式数论公理系统不一致。

  悖论2:设计一个数论命题,用自然语言表达为k:我在所有系统不可证。k就是一个数论悖论。一方面它确实不可证,存在一致的扩充,可扩充为公理;另一方面扩充为公理后会导致矛盾,又不能扩充为公理。

  悖论3:实质蕰涵命题a:(p→p)→ ﹃a。

  悖论4:命题b:(p∧ ﹃ p)∨ ﹃ b。

  悖论5:命题c:(p→p)∧ ﹃ c

  悖论6:命题d,d:(p→p)? ﹃ d

  其中悖论1、悖论2仅为罗素和怀特海的形式数论公理系统的悖论,而悖论3、悖论4、悖论5、悖论6涉及所有包含命题演算公理系统的理论,如谓词演算公理系统,悖论4、悖论5涉及到布尔代数。

  问题还不仅如此,悖论3、悖论4、悖论5、悖论6表明以任何一个命题代入其中,都会构成悖论。

  如将任意一个命题﹃p、p∨q、p∧q、﹃p∨q、﹃p∨﹃q、……代入悖论3、悖论4、悖论5、悖论6的p,就会产生无数个悖论。

  而若将任意一个永真式(如:﹃p∨p、p→﹃﹃p……)替换悖论3、悖论5、悖论6中的(p→p),也会产生无数个悖论。

  若将任意一个永假式替换悖论4中的(p∧﹃p),同样会产生无数个悖论。

  这些悖论的大量存在对数学理论的影响是相当大的,几乎是一个灾难.它标志着一切以命题演算公理系统为基础的数学理论包括罗素和怀特海的形式数论公理系统理论陷入了严重的危机之中……

  数学面临第四次危机!



作者:fhh0307314 时间:2012-12-16 18:28:00
  @老马识途否2012 62楼
  语言是存在的家! 但为何这个家是开放的,不是封闭的呢? 自圆其说,为何总是碰壁呢?
  
  -----------------------------
  这有何奇怪,不管什么存在从不同角度看就是不同的东西,就像一个正方形通过改变看的方向可以使其变成任何一个平行四边形,发现不封闭的地方就再给其命个名就封闭啦,就像上面的图我给它命个名叫‘混合’,然后把它加到我们的语言中这个新的语言又封闭啦
作者:fhh0307314 时间:2012-12-16 22:22:00
  @老马识途否2012 64楼
  这样理解“形而上学”吗?
  黑格尔还梦想着“世界精神”最终能够完成或实现其自身!
  “存在”是个完结! 而完结就是“(完全)封闭”,或其另一极“(完全)开放”!
  而你理解的是“进步”,是“楼上叠楼”,这是一个无限序列。。。。。。
  -----------------------------
  没学过哲学不晓得形而上学是啥子东西,从你上面的话理解,存在是个封闭的,也就是不管从哪个角度考察都是一样的(就是把那些从不同角度看,不同的东西都剥下来扔掉,剩下的东西就是存在),但是我想说的是这种剥了壳的东西对我们来说一点用都没有(因为它是封闭的与外界没有联系与作用的,只能用用语言描述它而已) ,也可能根本就存在这样的东西(就像洋葱把它一层层的皮剥掉后里面什么都没有,洋葱本身就是那些皮组成的它根本就没有一个心)
作者:fhh0307314 时间:2012-12-17 08:00:00
  回复第66楼(作者:@老马识途否2012 于 2012-12-17 06:59)   @fhh0307314 65楼   没学过哲学不晓得形而上学是啥子东西,从你上面的话理解,存在…… ==========
  对!人们总是企图用一个圆,圈住所有的东西,但他们却忘了他画的圈越大圆周外接触的没圈住的也越多,其实我们根本不用那么贪心,只要圈住那些对我们有用的就行了
  
楼主李子ljb 时间:2012-12-18 07:54:00
  两位网友发表了有意思的观点,我不是哲学家,不评价对错。

  爱因斯坦曾想建立统一场论,即将物理学的所有场统一为一个场,他奋斗了一辈子也未实现目标。

  罗素的《数学原理》企图包括数学全部内容,也被哥德尔第一不完全性定理证明为不可能。

  建立完备的理论是科学家们奋斗的一个目标。
作者:奇幻宇心 时间:2012-12-18 08:35:00
  哥德尔不完备性定理的一个有趣例子是:逻辑不能自我证明。
  
作者:奇幻宇心 时间:2012-12-18 08:39:00
  统一场论不能解释统一场论本身,所以不可能是真正的统一。
  
楼主李子ljb 时间:2012-12-18 17:42:00
  罗素的形式数论公理系统存在悖论,导致数学出现第四次危机。这一危机还没讲完,后面还有更多的数论问题要讲。

  现在先谈几何学的问题。
楼主李子ljb 时间:2012-12-18 17:44:00
  几何学的真假(1)

  公元前三世纪,希腊人欧几里得发表了著作《几何原本》共十三卷。在第一卷中建立了几何学的“公理系统”。该系统由23个定义、5条公理和5个“公设”组成。

  欧几里得的五个公设是:

  1.从任何一点到另一点可以引一条直线。

  2.每条直线都可以无限延长。

  3.以任意点为中心,以任意长为半径可以作圆周。

  4.凡直角都相等。

  5.平面上两直线被一直线所截,若截线一侧的两内角之和小于二直角,则此两线必相交于截线的这一侧。

  人们一直企图用前4公设来证明第五公设,两千多年的证明均失败,表明第五公设是独立的命题。

  1929年俄国的罗巴切夫斯基发表了“关于几何原理的推论”,创立了“罗氏几何”。他以罗氏平行公理取代了欧几里得几何学第五公设。

  罗氏平行公理:过已知直线一点至少可以两条直线与已知直线不相交。

  罗氏几何称为非欧几何学。此外非欧几何学还有黎曼几何学。

  由欧几里得几何学可得到定理p:“三角形内角之和为180度”。

  由罗氏几何可得到定理q:“三角形内角之和小于180度”。

  由黎曼几何学可得到定理r:“三角形内角之和大于180度”。

  三种几何学有不同的结论,请问到底谁为真,谁为假?还是都真?

  李子证明:三种几何学不可能都是真理。证明如下:用反证法。

  先证逻辑蕴涵命题s:“如果三角形内角之和为180度,则并非三角形内角之和小于180度”是真命题。

  设命题p:“三角形内角之和为180度”为真,则依据判定法则三可得三角形内角之和为180度必符合事实,由此可得“并非三角形内角之和小于180度”符合事实,依据判定法则一可得命题(﹃q):“并非三角形内角之和小于180度”为真。由逻辑蕴涵命题证明方法可得命题s:“如果三角形内角之和为180度,则并非三角形内角之和小于180度”是真命题。

  若欧几里得几何学是真理,则其定理p:“三角形内角之和为180度”是真命题。因已证命题s:“如果三角形内角之和为180度,则并非三角形内角之和小于180度”是真命题,则可得“并非三角形内角之和小于180度”是真命题。即罗氏几何与事实不符,其定理q:“三角形内角之和小于180度”是假命题。

  可以实际测量任一个三角形的内角之和,如果该“ 三角形之和大于180度”符合测量事实,则“三角形之和为180度”必然与事实不符,是假命题,并且,“三角形之和小于180度”也与事实不符,也是假命题。

  因此,三种几何学不可能都是真理,必有二假。


作者:fhh0307314 时间:2012-12-18 19:04:00
  @李子ljb 73楼
  几何学的真假(1)
  公元前三世纪,希腊人欧几里得发表了著作《几何原本》共十三卷。在第一卷中建立了几何学的“公理系统”。该系统由23个定义、5条公理和5个“公设”组成。
  欧几里得的五个公设是:
  1.从任何一点到另一点可以引一条直线。
  2.每条直线都可以无限延长。
  3.以任意点为中心,以任意长为半径可以作圆周。
  4.凡直角都相等。
  5.平面上两直线被一直线所截,若截线一侧的两内角之和......
  -----------------------------
  这三种几何共同构成了几何,就像一条数轴是由正数,负数与零构成的一样(一个数是正数就不能是负数和零)
楼主李子ljb 时间:2012-12-18 21:25:00
  黎曼认为:欧几里得几何学平面曲率为0,黎曼几何学曲面曲率大于0,罗氏几何学曲面曲率小于0。

  正如楼上认为的一样,这三种几何共同构成了几何,就像一条数轴是由正数,负数与零构成的一样。

  后面将发表六篇文章,证明这种观点不可能成立。

楼主李子ljb 时间:2012-12-18 21:30:00
  几何学的真假(2)

  德国著名数学家高斯早罗氏二十年就发现了非欧几何学,但他到去世也未公开发表。有人说高斯在“真理”面前畏缩不前,李子不认同。高斯是论证严谨的数学家,真理是不可能矛盾的。
  数学家们以一个公理系统是否矛盾来确认真理,而不是以理论是否符合事实来确认真理。如欧氏几何学不矛盾,罗氏几何不矛盾,黎曼几何学不矛盾,因此都是真理。这种方法并不科学。

  如果欧几里得几何学五条公设都是独立的,我们可以将这五条公设及其否定命题组成三十二个以上不矛盾且互不相同的公理系统和几何学。证明如下:

  设欧氏几何学五条公设为A、B、C、D、E。

  则罗氏几何学公理为:A、B、C、D、﹃E。

  可另创建不同几何公理系统为:

  1、﹃A、B、C、D、E。

  2、﹃A、B、C、D、﹃E

  3、﹃A、﹃B、C、D、E

  4、﹃A、﹃B、C、D、﹃E

  5、﹃A、﹃B、﹃C、D、E

  6、﹃A、﹃B、﹃C、D、﹃E

  7、A、B、C、﹃D、E

  8、A、﹃B、C、D、E

  .

  .

  .

  以上几何学都不会矛盾。否则五条公设A、B、C、D、E不独立或矛盾。 证明如下:

  以1、﹃A、B、C、D、E公理系统为例,若该系统矛盾,则必有定理p和定理﹃p。

  设p是由公理﹃A所证,则有(﹃A)→p,因此必有(﹃p)→A。

  设定理﹃p是由B、C、D、E中的公理所证,则由定理﹃p和定理(﹃p)→A可得定理A。

  A由B、C、D、E中的公理所证,则A不独立。


  选择公理不同,对应不同的几何学。这里有三十二种几何学,欧几里得几何学、黎曼几何学只是其中的一种。何止三种几何!如果用互斥命题作公理,则会产生更多新几何学。

  请问哪个几何学是正确的?哪个是错误的?理由是什么?

  黎曼几何学是选择了不同于欧几里得几何学第五公设的否定互斥命题选作了公理,并且用了2个绝对几何学的否定互斥命题替换了欧几里得几何学的2个公理,组成了黎曼几何学。因此黎曼几何学只是三十二种几何学中的一种。

  有人认为欧几里得几何学是黎曼几何学中的一个曲率为0的特例。在罗氏几何学中只选择了否定互斥命题替换了欧几里得几何学的第五公设,而在三十二种几何学中,不仅有用互斥命题替换了欧几里得几何学的第五公设的公理系统,还有与黎曼几何学的公理全部矛盾的互斥命题的公理系统A。

  对于这些公理系统相对欧几里得几何学也是不矛盾的,但其平面的曲率没有这个概念,如与黎曼几何学的公理全部矛盾的互斥命题的公理系统A的平面的曲率是多少?


作者:fhh0307314 时间:2012-12-18 22:00:00
  @李子ljb 76楼
  几何学的真假(2)
  德国著名数学家高斯早罗氏二十年就发现了非欧几何学,但他到去世也未公开发表。有人说高斯在“真理”面前畏缩不前,李子不认同。高斯是论证严谨的数学家,真理是不可能矛盾的。
  数学家们以一个公理系统是否矛盾来确认真理,而不是以理论是否符合事实来确认真理。如欧氏几何学不矛盾,罗氏几何不矛盾,黎曼几何学不矛盾,因此都是真理。这种方法并不科学。
  如果欧几里得几何学五条公设都是独立......
  -----------------------------
  楼主误会我的意思了,我的意思一个几何图形只能符合你说的32种几何学中的一个,它不可能符合其中的两个或多个(因为这32种几何学都是相互排斥的),而要产生矛盾必须符合至少俩个以上的才会产生矛盾(因为这样会导致即是又不是得矛盾的结果),所以把这32种几何学排到一起构成几何学,就像把无数个相互排斥的数排到数轴上是一样的,根本不会产生矛盾的
作者:fhh0307314 时间:2012-12-18 23:17:00
  或者我再用个夸大一点的比喻更好理解些,就像数学是又许许多多相互排斥的领域排成的:代数,几何。。。。,个领域的概念都不同(比如代数的数字就不能又是几何图形),就像上面说的不同几何学中的几何图形一样是不同的,他们不会同时符合俩个或两个以上的几何学
楼主李子ljb 时间:2012-12-19 07:46:00
  理解了楼上的意思。

  不同几何学中的几何图形一样是不同的,他们不会同时符合俩个或两个以上的几何学。这当然是对的。

  如果同时符合俩个或两个以上的几何学,必然会导致逻辑矛盾。

  如要求几何学完备,则需将欧几里得几何学和罗氏几何学、黎曼几何学合并组成一个几何学,这必然会产生逻辑矛盾。


  当然,如果用不同的平面(曲面),曲率不同,对应的几何学不同,确实可以将不同的几何学分离,并且不再产生平面上的矛盾。


  但是,如果在现实的三维空间,如在一个半径R=1米的标准圆球上(即由空间某固定点,用固定长划圆球),在球面上取三点,用最短的线相连,测量三角形内角之和就只会有一个答案。
  该球面的曲率由欧几里得立体几何学可得为1÷R,而由黎曼几何学可得大于1÷R。因为在二维平面欧几里得几何学平面曲率为0,黎曼几何学平面曲率大于0。

  三角形内角之和答案是什么呢?
作者:fhh0307314 时间:2012-12-19 09:26:00
  你还是没理解我的意思,你的意思是空间一个几何图形可以把它随意代入任何一个不同的几何学中,因为你认为他们都是研究几何图形的,所以他们可以适合任何一个图形,这当然会产生矛盾了,但问题是一个几何图只能代其中的一个几何学,因为一个几何图形的特征只能满足其中一个几何学,比如有一个三角形它的三个角都是小于180的,那它就不能代入欧氏几何学,因为它不满足它的条件,或者一个椭圆它到它的中心的每个距离都相等那它也不能代入欧氏几何
  
作者:fhh0307314 时间:2012-12-19 09:44:00
  也就是说我们把这些几何学合起来,并不代表一个几何图形可用任何一个几何学来推一些结论,就像我们把负数正数合成数轴,并不代表一个数可以即符合负数又符合正数
  
楼主李子ljb 时间:2012-12-19 12:10:00
  你我对几何学的理解存在不同。

  平面的几何学和三维立体几何学是完全不同的。

  对于现实三维空间曲面上的“三角形内角之和”,不能用欧几里得平面几何学来证明,而要用欧几里得立体几何学来证明。

  黎曼几何学也只有与欧几里得立体几何学证明的结果来进行比较,谁更加符合测量事实,即曲面上的“三角形内角之和”具体数值是多少,而不是一个不确定的大于180度。
楼主李子ljb 时间:2012-12-19 12:12:00
  我们生活在三维空间,而欧几里得平面几何学与黎曼几何学都是二维几何学。

  如果在现实世界里测量任意一个三角形的内角之和,会面临用二维数学工具来度量三维空间的问题,这显然是不合适的。

  那么为什么数学家们不用欧几里得立体几何学来处理三维空间的问题而偏要用黎曼几何学来处理呢?如广义相对论为何不用欧几里得立体几何学而用黎曼几何学呢?

  在处理三维空间的问题上,欧几里得立体几何学比黎曼几何学更具体、更确定,也与事实更加符合。

  如制造一个半径R=1米的标准圆球,在球的表面上确定三个点,在球面上用最短的线连接三点构成三角形,由欧几里得立体几何学可以得到该球曲面的曲率、体积、表面积、连接三点“直线”的弧长,这些结果可以进行实际的测量、验证,而用黎曼几何、包括黎曼立体几何会得到与这些有确定值的否定结果。

  如半径R=1米的标准圆球,该球曲面的曲率由欧几里得立体几何学可得等于1÷R,而用黎曼几何得到的该球曲面的曲率为大于1÷R,二者并不相同。这是因为欧几里得平面几何学的平面曲率等于0,黎曼几何的平面曲率大于0,并且具体数字不确定,即不能确定为0。1或0。15…。

  用欧几里得平面几何学来证明在曲率大于0的曲面上的三角形的内角之和,显然是一个错误,应该用欧几里得立体几何学来证明。

  以该球表面上任意一点为定点,以一直线的端点固定在此定点,在曲面上旋转一周,定义为360度,然后以此度量在该球曲面上的三角形的内角之和,必有测量结果,但并不能确定大于180度。既使有测量结果大于180度,也必定有一个确定的数值如180。25度,不会是模糊的数值大于180度。为什么不是大于180。2度呢?

  如果用欧几里得立体几何学度量在该球曲面上的三角形的内角之和依然为180度,则用黎曼几何还是可得大于180度的结果,因为二者认定半径R=1米的标准圆球,该球曲面的曲率并不相等。

  最后还是要靠实际的测量,以测量的事实告诉我们究竟是欧几里得几何学还是黎曼几何学是真理。但不管结果怎样,我们可以肯定一点的是:二种几何学至少有一个是谬论,即必然有一个与测量的事实不相符,而不可能都是真理。

  有一个实验是可以做的:用欧几里得立体几何学可计算半径R=1米的标准圆球的体积、表面积,而用黎曼几何计算半径R=1米的标准圆球的体积、表面积结果并不相等,可进行实际的测量。如将此球沉入水中,排出去水的体积即为半径R=1米的标准圆球的体积,事实可以告诉我们正确答案。
作者:fhh0307314 时间:2012-12-19 13:47:00
  对数学我其实是个门外汉,上面只是发表了些个人的幻想,对于这些几何具体的东西我一点都不懂,不过你说的那个实验我要提醒你忘了的一点很重要的东西,就是你在潜意识认为那排出的水的体积只符合一个数字,其实是两个,因为这排出的水也要分别用用欧氏和黎氏测量才行
  
我要评论
楼主李子ljb 时间:2012-12-19 20:55:00
  没关系,我的文章是给大家看的,包括不了解非欧几何学的人。

  网上的讨论是大家一起探讨真理。

  我写的文章有人愿意看就是我得到最大的安慰。

  谢谢你参与讨论。
楼主李子ljb 时间:2012-12-19 21:34:00
  又发不出贴了
作者:fhh0307314 时间:2012-12-19 21:46:00
  我现在从另一个角度说说这些不同的几何学之间不会矛盾的原因你看对不对

  就用你的那个圆球的例子吧

  在一个标准的r=1的球体上,有一个黎氏的三角形在这个三角形中包含了欧氏第五公理的否定命题这是无可辩驳的,然后我们从欧氏的立体几何考察它,它就变成了另一个图形(由三条圆弧组成的‘三弧形’),而这个三弧形中是不可能包含欧氏第五公理的正命题的因为它不是由直线组成的,所以可以这样说在这个圆球上的几何图形是可以同时满足俩个几何学的而且是不矛盾的,然后我大胆的做个推测:在我们生活的三维空间中的任何一个几何图形他们对应在欧氏和黎氏几何中对应的两个图形不可能同时包含欧氏第五公理的正反命题,所以对于一个几何图形来说,欧氏黎氏可以同时满足,同时是真理
作者:fhh0307314 时间:2012-12-19 21:53:00
  对了我想问下现在的数学界对这个问题的看法
楼主李子ljb 时间:2012-12-20 13:01:00
  现在的数学界对这个问题的看法是:公认了非欧几何学。

  是我对此进行反驳,我不认可非欧几何学。

  “这个圆球上的几何图形是可以同时满足俩个几何学的而且是不矛盾的”的观点是错误的。因为进行实际的测量只可能有一个答案。即要么“三角形内角之和等于180度”,要么“三角形内角之和不等于180度”,不可能同时满足。



作者:fhh0307314 时间:2012-12-20 17:26:00
  选择非欧可能是因为广义相对论说空间是弯曲的原因吧
  
作者:fhh0307314 时间:2012-12-20 18:32:00
  一个图形用两个不同的几何测量就会有两个不同的结果,比如用欧氏几何测量一个图形的面积其实是这样的意思:就是用它的正方形(四条直的线段组成)去表示它,也就是看它的面积和几个正方形相等,而得到的数字就是我们平时所说的面积(我们平时最常用的正方形是边长为一米的,这从面积的单位是㎡可以看出),而如果用黎氏几何测量它就是用它的正方形(由四条圆弧构成的)去表示这个几何图形,所以两个结果是两个数字,他们虽然是两个不同的数字,但是他们的意义也是不同的所以他们是可以表示一个图形的面积的(而你在潜意识里认为两个不同的数字是不能表示一个图形的面积的)
  
作者:fhh0307314 时间:2012-12-20 18:35:00
  也就是说两个数字的单位是不同的
  
作者:fhh0307314 时间:2012-12-20 18:53:00
  还有就是三角形有很多种的,有欧氏的(直线段组成的),有黎氏的(三弧形组成的),还有其它种类的。。。欧氏的三角形内角和等于180的意义是:在欧氏几何里的直线(和黎氏几何的直线概念是不同的,黎是曲线)旋转半圈,而黎氏的大于180的意义是大于用他的直线(不同于欧氏直线)旋转半圈,也就是这两个180的意义是不同的(即单位是不同的),所以对与一个在球面上的三角形(黎氏三角形)在黎氏看来是大于180,在欧氏看来是小于180,这两个180是有不同的意义的
  
作者:fhh0307314 时间:2012-12-20 19:12:00
  @fhh0307314 93楼
  还有就是三角形有很多种的,有欧氏的(直线段组成的),有黎氏的(三弧形组成的),还有其它种类的。。。欧氏的三角形内角和等于180的意义是:在欧氏几何里的直线(和黎氏几何的直线概念是不同的,黎是曲线)旋转半圈,而黎氏的大于180的意义是大于用他的直线(不同于欧氏直线)旋转半圈,也就是这两个180的意义是不同的(即单位是不同的),所以对与一个在球面上的三角形(黎氏三角形)在黎氏看来是大于180,在欧氏看来是小......
  -----------------------------
  更正下,上面的是有问题的因为欧氏看不到黎氏的三角形因为欧氏的看黎氏的只是三弧形,总之意思是这这两个180的意义是不同的


楼主李子ljb 时间:2012-12-20 20:35:00
  你说的这些只不过是你对立体几何学的理解,你不讲大家都知道。

  但是,一用到实际的三维测量,欧几里得立体几何学与黎曼立体几何学就会矛盾。

  你一直将平面几何与三维世界混为一谈。


  说个具体的例子你回答一下:

  半径为R=1米的圆球体积=?
作者:136502808 时间:2012-12-20 21:17:00
  "三人行"超级群26193366欢迎大家加入(未满22岁者谢绝加入).群员要求有进取心,乐于分享的精神,本着"三人行,必有我师"的宗旨,打造一个工作,学习,生活的交流平台,闲聊中增长知识。
  QQ2000人群26193366
  YY万人群:2275971
作者:fhh0307314 时间:2012-12-20 21:34:00
  半径为r=1的圆球体要看你说的是哪个几何学中的圆球体了

  假设它是在欧氏几何学中的一个r=1m的圆球体

  如果就用一个r=1m的正方体(欧氏中的正方体)会得到一个不是整数的体积

  如果用黎氏几何考察它那它就不是个球形,可能是个很复杂的几何图形,然后用黎氏几何中的正方体表示它也可以得到一个体积,但是在黎氏几何中要用它的正方体表示这个复杂的几何图形是件很困难的事,可能会像我们用我们的欧氏几何的立方体去求解一个啤酒瓶的体积的情景,但是从理论上是可以解出的,当然得到的数和上面的不同因为他们的单位不同


  而如果反过来它是黎氏几何中的球也会得到和上面的一样的情景

  一般人可能会说欧氏几何对我们更有用,但这是对与那些标准的几何图形(球体,正方体。。。)来说是这样,但是对与那些复杂的但转化到黎氏几何中会变成球体的图形来说就是黎氏几何更方便啦
楼主李子ljb 时间:2012-12-20 22:09:00
  楼上这段讲话是正确的。尽管未给出具体数字,用小于整数回答不能说错误。

  还是请你让我把话说完你再发言吧。(5篇文章后)
楼主李子ljb 时间:2012-12-20 22:11:00
  几何学的真假(3)

  黎曼几何是爱因斯坦广义相对论的基础。如果黎曼几何不是真实世界的几何学,则爱因斯坦的广义相对论就成了谬误。

  由黎曼几何可得定理:“三角形内角之和大于180度”,该命题是符合事实,还是不符合事实呢?

  如果“三角形内角之和大于180度” 符合事实,则欧几里得几何学定理:“三角形内角之和为180度”必然与事实不符,是假命题,欧几里得几何学则是谬误。

  有人说非欧几何学是球面几何学,一个是凸面椭圆几何学,一个是凹面双曲面几何学,这在非欧几何学的系统里并未作出规定,而只有公设的不同。

  实践是检验真理的唯一标准。可以通过实际测量三角形内角之和究竟是多少来确定哪个几何学是真理吗?回答是十分困难。一是现实中的二维平面难找到;二是三种几何的误差很小,实际测量难严格区分。那是否就无法确定哪个几何学是真理了呢?

  可以在现实的三维空间建立三种平面几何为基础的立体几何学,由各立体几何学计算球体表面三角形内角之和应为多少,然后实际制造一球体,实际测量球体表面三角形内角之和究竟是多少来确定哪个几何学是真理。

  欧几里得几何学第五公设等价于平行定理,即若二直线平行则永不相交,而黎曼几何学可证二直线在无穷远处有交点。问题是无穷远处不是固定点,是动态的点,无止境的点,二直线在无穷远处不确定的点相交难令人信服,也不可能用事实验证。


楼主李子ljb 时间:2012-12-20 22:12:00
  几何学的真假(4)


  著名数学家高斯曾亲自测量三角形内角之和并到去世都不发表非欧几何学。

  建立了谓词演算公理系统的数理逻辑学家弗雷格至死都不承认非欧几何学。有人说高斯在真理面前畏缩不前,说弗雷格太固执,等等。笔者不认同。高斯、弗雷格都是顶尖数学家,至死不承认非欧几何学一定有其道理。李子在前面已证明三种几何学不可能都是符合事实的真理,下文证明欧几里德几何学是现实世界的几何学。

  为了避免空洞的论证,本文用现实中直角坐标系来进行论证。

  在平面直角坐标系内,设OX轴单位长为现实中的米为单位。

  令过OX轴外一点(x = 0,y = 1)点,作OX轴的平行线。则由极限理论有:

  欧几里德几何学有定理:当x →∞时,y = 1 。

  罗氏几何学有定理:设π(y)称为平行角,y为平行距。则当y →∞时,limπ(y)= 0 , 当y →0时, limπ(y)=π/2 .因此,对于π(1)平行线,当x →∞时,y →0 但y ≠ 0 .

  黎曼几何学有定理:当x→∞时,y = 0.

  三种几何学究竟谁是真理?

  现用数学归纳法证明欧几里德几何学定理:当x → ∞ 时, y = 1 成立,是真命题。

  证明:可用初等函数表示经过OX轴外一点(x = 0,y = 1)点,作OX轴的平行线, 该直线方程为:f(x)= 1。

  用数学归纳法进行逻辑证明:

  当n = 1时,f(1) = 1 成立。

  设f(n)= 1成立,证f(n 1)= 1必成立。

  当f(n)= 1成立时,由直线方程可得f(n 1)= 1 。

  由数学归纳法可得:

  欧几里德几何学定理: 当x →∞时, y = 1 成立,是真命题。

  罗氏几何学有定理:过OX轴外一点(x = 0,y = 1)点, 作OX轴的平行线,平行角为π(1) 。 当x →∞时,y → 0,该直线跟OX轴不相交。现在问该直线当x = ?时, y = 0.5 ?

  黎曼几何学有结论:经过(x = 0,y = 1)点,没有任何直线跟OX轴不相交。即当x→∞时,y = 0

  现在问黎曼几何学,当平行线x = ?时,y = 0.5 。即y从1到0.5再到0,x是在有限距离,还是在无穷远处一下从1突变到0?

  罗氏几何学和黎曼几何学都有当y = 0.5时,平行线x = ?问题。

  y = 0.5也是直线方程,若与过(x = 0,y = 1)点OX轴的平行线有交点,x为多少?若x为有限距离,则可推算出该平行线与OX轴的交点,若x为无穷远,则二几何学y在无穷远处一下从1突变到0无法使人相信。

  用数学归纳法是通过有限距离证明无限远结果的最可靠的方法。因此,本文认为欧几里德几何学是真理。

  在现实世界里,如果实际需要我们生产一个互相垂直的两条平行线的长方形产品,根据直角坐标系和欧几里德几何学,我们可以很快确定这个长方形的四个顶点,生产出这一产品。

  而非欧几何学因平行线问题,不能确定第四个点的位置,在这个世界上,谁都无法用非欧几何学生产出这一产品。

  因此,欧几里德几何学更加贴近事实。

使用“←”“→”快捷翻页 上页 1 2 39 下页  到页 

相关推荐

换一换

      本版热帖

        发表回复

        请遵守天涯社区公约言论规则,不得违反国家法律法规