明的概念,我们第一次能够做出确凿无疑的论断,就算到了现在己经有了大量新知识,这些论断还是跟刚提出来的时候一样真实可信呢。
从那时候起,数学这种跟时间没关系的真理性就开始被发现啦。
那到底啥是“数学证明”呢?
数学中的证明啊,那就是按照纯粹逻辑推理来的,绝对没毛病的论证过程哟!
这个过程能保证从那些己知是正确的数学命题,或者某些特别的原初命题,就是那些正确性不用解释都很明白的公理出发,去推断出所给命题的正确性呢。
一个数学命题要是通过这种方式给建立起来了,那我们就叫它定理啦。
毕达哥拉斯学派的好多定理呀,其实本质上都和几何有关系呢,还有一些命题呢,则是和数相关哟。
这些只和数有关的命题,就算到了现在,那也是正确得不要不要的,就跟在毕达哥拉斯那个时代一模一样。
那再看看那些通过数学证明的几何定理呢?
它们当然也还是正确得明明白白啦,不过现在呢,问题变得有点小复杂咯。
这个问题的本质呢,用我们现在的知识水平来看,肯定要比毕达哥拉斯时代看得更清楚明白啦。
古代的人呀,就只知道一种几何,就是所谓的欧几里得几何,可我们现在知道,还有好多其他类型的几何呢。
所以呀,只要是说到古希腊时代的几何定理,有一点特别特别重要,那就是得清楚我们说的其实是欧几里得几何哦。
欧几里得几何是一种超精巧的数学结构,有着一整套独特的公理(包括一些不太确定的命题,又称公设)呢。
这种几何能提供真实物理世界某个特定方面的超级好的近似描述,就是对刚体的几何形状以及刚体在三维空间中运动时相互间位置关系的描述啦。
古希腊人对这些性质可熟悉啦,它们是如此自洽,以至于人们超喜欢将其视为“自明”的数学真理从而首接