数学欣赏数学之魂.ppt

数学的特点对人的影响3第74页,共90页，星期六，2024年，5月数学的特点概念的抽象性推理的严密性结论的确定性应用的广泛性第75页,共90页，星期六，2024年，5月1.概念的抽象性数学来自于实践，其最本质的东西是抽象，抽象是人类创造性思维最基本的特征。数学的概念、方法大多是通过对现实世界的事物对象及其关系，通过分析、类比、归纳，找出其共性与本质特征而抽象得来的。第76页,共90页，星期六，2024年，5月抽象表现：全程起点：概念抽象；过程：推理严密；结论：确定；结果：应用广泛。数学是用简明而又严格的方式描述复杂现象。第77页,共90页，星期六，2024年，5月抽象的功能：找共性，抓本质把表面复杂的东西变得简单把表面混沌的东西变得有序把表面无关的东西得到统一第78页,共90页，星期六，2024年，5月数学抽象特色：在数学抽象中只保留了量的关系和空间形式，舍弃诸如色彩、品质等因素；（比如：数、点、线等原始概念）数学抽象是一级一级逐步提高的，其抽象程度远远超过了其它学科的一般抽象；（比如：从点到线，到面，到体，到欧氏空间，再到一般的拓扑空间等）数学本身几乎完全周旋于抽象概念和它们的相互关系之中。第79页,共90页，星期六，2024年，5月数学建立的程序1始于公理，成于推理，表为定理第42页,共90页，星期六，2024年，5月数学理论建立的方式从少许自明的结论（公理）出发用逻辑演绎（三段论）的方法推出新的结论（定理、公式）第43页,共90页，星期六，2024年，5月定义公理、公设命题定义命题定义命题命题命题公理、公设第44页,共90页，星期六，2024年，5月1.一组自明公理是数学论证的出发点不能自相矛盾（相容性）不要相互包含（独立性）能够导出有关数、形及其关系的所有规律及性质（完全性）自明？——相当主观，也相当深刻数学结论可靠性的前提。第45页,共90页，星期六，2024年，5月1.一组自明公理是数学论证的出发点相容性保证了系统内部的无矛盾性；独立性保证了公理体系的简洁性；完备性？——不存在！（哥德尔不完备性定理）多种公理系统。不同的公理系统导出不同的数学，但是它们的内部都是健康的。第46页,共90页，星期六，2024年，5月2.合情推理（归纳、类比）找方向，演绎推理定结论合情推理：发散性归纳、类比、迁移、想象演绎推理（三段论）：收敛性第47页,共90页，星期六，2024年，5月数学论证只承认演绎推理（三段论）大前提（一个一般性的普遍规律）小前提（一个特殊对象的判断）结论（这个特殊对象的结论）第48页,共90页，星期六，2024年，5月数学论证只承认演绎推理（三段论）大前提（人是要死的）小前提（张三是人）结论（张三是要死的）举例、实验、思辨、猜测等得到的结论均不被承认。数学结论可靠性的保证。可靠第49页,共90页，星期六，2024年，5月人类的发明创造开始于感性的发散性思维终止于理性的收敛性思维数学思维是人类发明创造的源泉和动力第50页,共90页，星期六，2024年，5月3.演绎推理所得到的结论必须是新的数学的首创是在全人类首创新定理指在人类历史中新发现、新建立数学与工程的评价标准大不相同数学填补的都是人类空白第51页,共90页，星期六，2024年，5月实验结论不可靠——物理教授的经验方程物理教授在进行一项实验，他总结出一个经验方程，似乎与实验数据吻合，他请数学教授看一看这个方程。一周后数学教授说这个方程不成立。可那时物理教授已经用他的方程预言出进一步的实验结果，而且效果颇佳，所以他请数学教授再审查一下这个方程。再一周后，他们再次碰头。数学教授告诉物理教授说这个方程的确成立，但仅仅对于正实数的简单情形成立。精确第52页,共90页，星期六，2024年，5月观察结论不可信——苏格兰高原上的羊天文学家：原来苏格兰的羊是黑色的.物理学家：“得了吧,仅凭一次观察你可不能这么说，你只能说那只黑色的羊是在苏格兰发现的.“数学家：也不对，由这次观察你只能说:在这一时刻,这只羊,从我们观察的角度看过去,有一侧表面上是黑色的.准确第53页,共90页，星期六，2024年，5月数学的思考方式2第54页,共90页，星期六，2024年，5月数学研究万事万物的数与形有其特有的思想、原则和方法，这体现为数学的独特思考方式。这些方式包括：模型化最优化公理化抽象化符号化类比化归分