公共空间的公理读后感汇合(14)

《几何原本》读后感5
公理化结构是近代数学的主要特征。而《原本》是完成公理化结构的最早典范，它产生于两千多年前，这是难能可贵的。不过用现代的标准去衡量，也有不少缺点。首先，一个公理系统都有若干原始概念，或称不定义概念，作为其他概念定义的基础。点、线、面就属于这一类。而在《原本》中一一给出定义，这些定义本身就是含混不清的。其次是公理系统不完备，没有运动、顺序、连续性等公理，所以许多证明不得不借助于直观。此外，有的公理不是独立的，即可以由别的公理推出。这些缺陷直到1899年希尔伯特（Hilbert）的《几何基础》出版才得到了补救。尽管如此，毕竟瑕不掩瑜，《原本》开创了数学公理化的正确道路，对整个数学发展的影响，超过了历史上任何其他著作。
《原本》的两个理论支柱——比例论和穷竭法。为了论述相似形的理论，欧几里得安排了比例论，引用了欧多克索斯的比例论。这个理论是无比的成功，它避开了无理数，而建立了可公度与不可公度的正确的比例论，因而顺利地建立了相似形的理论。在几何发展的历史上，解决曲边围成的面积和曲面围成的体积等问题，一直是人们关注的重要课题。这也是微积分最初涉及的问题。它的解决依赖于极限理论，这已是17世纪的事了。然而在古希腊于公元前三四世纪对一些重要的面积、体积问题的证明却没有明显的极限过程，他们解决这些问题的理念和方法是如此的超前，并且深刻地影响着数学的发展。
化圆为方问题是古希腊数学家欧多克索斯提出的"，后来以“穷竭法”而得名的方法。“穷竭法”的依据是阿基米得公理和反证法。在《几何原本》中欧几里得利用“穷竭法”证明了许多命题，如圆与圆的面积之比等于直径平方比。两球体积之比等于它们的直径的立方比。阿基米德应用“穷竭法”更加熟练，而且技巧很高。并且用它解决了一批重要的面积和体积命题。当然，利用“穷竭法”证明命题，首先要知道命题的结论，而结论往往是由推测、判断等确定的。阿基米德在此做了重要的工作，他在《方法》一文中阐述了发现结论的一般方法，这实际又包含了积分的思想。他在数学上的贡献，奠定了他在数学史上的突出地位。