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

产品信息

更多...
价 格:面议

主条目:数理逻辑

数学逻辑专注在将数学置于一坚固的公理架构上,并研究此一架构的成果。就其本身而言,其为哥德尔第二不完备定理的产地,而这或许是逻辑中最广为流传的成果.现代逻辑被分成递归论、模型论和证明论,且和理论计算机科学有着密切的关联性。

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

二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上,我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用,使得它可以用许多不同的方式来推广;最终导至一些强有力的工具,使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是,在这一推广中,程序的几何出发点变得模糊起来。在某种意义下,必须加上某些没有任何几何解释的部件。霍奇猜想断言,对于所谓射影代数簇这种特别完美的空间类型来说,称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。

这些人曾在一生中某一阶段教授数学,但他们在其他方面更为著名:-

Lewis Carroll, 英国作家Charles Dodgson的笔名,曾在牛津基督教堂讲授数学

道尔顿, 英国化学家和物理学家,曾在曼彻斯特,牛津和约克的学校和大学教数学。

Tom Lehrer, 美国歌曲作家和讽刺作家,曾在哈佛和麻省理工学院教数学。

Georg Joachim Rheticus,奥地利绘图家,哥白尼的学生,曾在Wittenberg大学教数学。

Edmund Rich, 13世纪坎特伯雷大主教,在牛津和巴黎的大学教过数学。

Archie Williams, 美国运动员,奥运金牌得主,在加里福尼亚高中教过数