第三章第四节形式化思想(张正丽).pptVIP

* * 第三章第四节 形式化思想 与其让学生学习数学，不如让学生学习数学化； 与其让学生学习公理系统，不如让学生学习公理化； 与其让学生学习形式体系，不如让学生学习形式化。 ————弗赖登塔尔 形式化思想 形式化是现代数学的特征 形式化思想的应用 一、形式化思想 广义上，舍弃事物物质内容，只取形式结构，只考虑形式不考虑内容的一种看待、处理问题的思想； 数学上是公理化的高级形态，完全采用符号语言，把推理过程演算化的公理化方法，主要指数理逻辑方法。 具有两个基本特点： （1）自然语言符号化，抽象概括为形式语言； （2）对直观意义的推理关系进行语义刻画和语法刻画； 一个学科要想使其理论具有一般性和普遍适用性，采用形式化方法进行研究是必要的。数学应用的广泛性在一定程度上源于它的形式化。 学习数学，就是学习一种有特定涵义的形式化的语言，以及用形式化语言取解决各种问题。 二、形式化是现代数学的特征 数学本身可以表示为完全形式化的东西，一切数学都可以由符号加以形式地表述。 概念形式化 分数形式化为 根式形式化为 复数形式化为 *