联系方式
  • 公司: 深圳精成学社数学辅导班
  • 地址: 深圳福田区百花园紫荆阁
  • 联系: 方老师
  • 手机: 13427980436
  • 邮箱: 365808458@qq.com
  • 微信: 13427980436
  •  
  • 本站共被浏览过 8765 次

产品信息

更多...
价 格:面议

数学(汉语拼音:shù xué;希腊语:μαθηματικ;英语:Mathematics或Maths),源自于古希腊语的μθημα(máthēma),有学习、学问、科学之意。古希腊学者视其为哲学之起点,“学问的基础”。另外,还有个较狭隘且技术性的意义——“数学研究”。即使在其语源内,其形容词意义凡与学习有关的,亦被用来指数学。

其在英语的复数形式,及在法语中的复数形式+es成mathématiques,可溯至拉丁文的中性复数(Mathematica),由西塞罗译自希腊文复数τα μαθηματικά(ta mathēmatiká).

在中国古代,数学叫作算术,又称算学,最后才改为数学.中国古代的算术是六艺之一(六艺中称为“数”).

数学逻辑的早期定义是本杰明·皮尔士(Benjamin Peirce)的“得出必要结论的科学”(1870)。在Principia Mathematica,Bertrand Russell和Alfred North Whitehead提出了被称为逻辑主义的哲学程序,并试图证明所有的数学概念,陈述和原则都可以用符号逻辑来定义和证明。数学的逻辑学定义是罗素的“所有数学是符号逻辑”(1903)。

直觉主义定义,从数学家L.E.J. Brouwer,识别具有某些精神现象的数学。直觉主义定义的一个例子是“数学是一个接着一个进行构造的心理活动”。直观主义的特点是它拒绝根据其他定义认为有效的一些数学思想。特别是,虽然其他数学哲学允许可以被证明存在的对象,即使它们不能被构造,但直觉主义只允许可以实际构建的数学对象

正式主义定义用其符号和操作规则来确定数学。 Haskell Curry将数学简单地定义为“正式系统的科学”。[33]正式系统是一组符号,或令牌,还有一些规则告诉令牌如何组合成公式。在正式系统中,公理一词具有特殊意义,与“不言而喻的真理”的普通含义不同。在正式系统中,公理是包含在给定的正式系统中的令牌的组合,而不需要使用系统的规则导出。

数理逻辑新近还发展了许多新的分支,如递归论、模型论等。递归论主要研究可计算性的理论,它和计算机的发展和应用有密切的关系。模型论主要是研究形式系统和数学模型之间的关系。数理逻辑近年来发展特别迅速,主要原因是这门学科对于数学其它分支如集合论、数论、代数、拓扑学等的发展有重大的影响,特别是对新近形成的计算机科学的发展起了推动作用。反过来,其他学科的发展也推动了数理逻辑的发展。

正因为它是一门新近兴起而又发展很快的学科,所以它本身也存在许多问题有待于深入研究。现在许多数学家正针对数理逻辑本身的问题进行研究。