北师社课件数学思想方法导引课件5.2公理化思想.pptxVIP

公理化思想第10讲取材于段志贵、段敏萱编著的《数学思想方法导引》一书第五章第2节。本书由北京师范大学出版社2019年出版。“数学思想方法导引”36讲之第10讲

目录公理化思想的渊源从欧氏公理体系到希氏公理体系公理化思想的实质12

01公理化思想的渊源

?教训：对哲学与数学起到警示作用：单凭直观经验并不可靠.解决办法：公理化方法：即把隐藏祸患的、含含糊糊的（常常是直观认为可靠的）摆到桌面上，该去除的绝不保留，该承认的公开承认.在此基础上来进行各项证明是最可靠的.公理化思想的渊源

?公理化思想的渊源

希波克拉底总结原有的几何学知识写成了《原本》。柏拉图和欧多克斯大量的采用了公理为依据的几何证明方法。亚里士多德总结了几何学和逻辑学的丰富资料，系统的研究了三段论，把完全三段论作为公理，由此推导出其他所有三段论法，使整个三段论体系成为第一个成文的公理系统。欧几里得在希波克拉底《原本》的基础上，对命题作了巧妙地选择和合乎逻辑的排列，从而完成了数学史上的重要著作《几何原本》。公理化思想的渊源

公理学研究的对象、性质和关系称为“论域”，这些对象、性质和关系，由初始概念表示。按照“一个公理系统只有一个论域”的观点建立起来的公理学，称为实质公理学。这种公理学是对经验知识的系统整理，公理一般具有自明性。因此，欧式《几何原本》就是实质公理学的典范。公理化思想的渊源

02