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

产品信息

更多...
价 格:面议

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

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

数学语言亦对初学者而言感到困难.如何使这些字有着比日常用语更精确的意思,亦困恼着初学者,如开放和域等字在数学里有着特别的意思.数学术语亦包括如同胚及可积性等专有名词.但使用这些特别符号和专有术语是有其原因的:数学需要比日常用语更多的精确性.数学家将此对语言及逻辑精确性的要求称为“严谨”.

严谨是数学证明中很重要且基本的一部分.数学家希望他们的定理以系统化的推理依着公理被推论下去.这是为了避免依着不可靠的直观,从而得出错误的“定理”或“证明”,而这情形在历史上曾出现过许多的例子。在数学中被期许的严谨程度因着时间而不同:希腊人期许着仔细的论点,但在牛顿的时代,所使用的方法则较不严谨.牛顿为了解决问题所作的定义,到了十九世纪才让数学家用严谨的分析及正式的证明妥善处理。数学家们则持续地在争论电脑辅助证明的严谨度.当大量的计算难以被验证时,其证明亦很难说是有效地严谨.

庞加莱(Poincare)猜想(已经被证明)如果我们伸缩围绕一个苹果表面的橡皮带,那么我们可以既不扯断它,也不让它离开表面,使它慢慢移动收缩为一个点。另一方面,如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上,那么不扯断橡皮带或者轮胎面,是没有办法把它收缩到一点的。我们说,苹果表面是“单连通的”,而轮胎面不是。大约在一百年以前,庞加莱已经知道,二维球面本质上可由单连通性来刻画,他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难,从那时起,数学家们就在为此奋斗。

不同水准的数学教授给不同年龄的学生。一个大致的对算术和代数的子课题的教学年龄的参考如下:

加法: 5-7岁;更多的位数8-9岁

减法: 5-7岁;更多的位数8-9岁

乘法 : 7-8岁;更多的位数9-10岁

除法: 8岁;更多的位数9-10岁

简单代数: 11-12岁

代数: 13岁以上