略談数学中的符号

数学是研究現实世界中量的关系的科学,全面而又系統地使用符号表示它的所有概念、运算与关系,是数学的一个特点。比如,通常用“∞”表示无穷大量、用“+”表示加法运算、用“=”表示两个“量”之間的相等关系等等。用数学方法計算实际問題,总是先用符号表示具体問題中的“量”和关系,然后将实际問題化为“公式語言”,再对它进行推理与計算,就得出所要求的答案。在初等数学内,用方程解应用問題,就是这方面的很好例子。数学的发展从根本上来說,是依赖于生产实践,但是簡明而又精练的数学符号,对数学的发展又能起一     

浅談邏輯推理在数学发展中的地位

一、公理方法为数学这門科学带来的特点在数学中,有些命題不加証明,直接用作邏輯推理时的依据,这类命題叫作公理;用巳知概念說明使用概念的意义的命題叫作定义。任何一个数学命題,不管直观看来多么明显,但是只要它不是公理,都要求严格地証明。一个命题,只有当它作为定义、公理的邏輯結果,才算是被証明了的定理。这种用定义、公理作为選輯推理的基础、以建立科学体系的方法叫作公理方法。公理方法是建立数学这门科学体系的重要方法,尤其自20世纪以来,它已成为現在数学各个分支建立科学体系的基本方法。使用这种方法的結果,就为数学带来两个明显的特点。