古今数学思想

来自于在深入波利亚罐子模型及其衍生随机过程的学习中，产生了对数学思想的兴趣，参考《古今数学思想》和b站《古今数学思想》和《陶哲轩实分析》。关注点在于数学的思想为了解决什么问题出现？ 数学思想的发展过程？以及如何在科研运用数学思想？

1    美索波达米亚的数学

1.1 出现了什么？

 数字的表示、进制（为了防止无休止的编写）、算术运算（加减乘除）、

1.2 应用

• 已知两个直角边，如何求斜边长度?  在没有勾股定理的时候，人们得到其近似解，但是那时的人们不关心为什么。
• 代数：一个数，使它与它的倒数之和等于已知数。

1.3 评价

• 他们只关心解决的单个问题(没有理论依据）

不足之处： 没有证明、没有决定取舍原则的逻辑结构、问题解在什么条件存在考虑是没有的

 

2  埃及的数学

2.1 内容

算术（进行加减乘除）、代数与几何

2.2 评价

• 没有成套的符合、没有有意识的抽象、没有一般的方法论、没有证明或者直观的想法

3 古希腊数学

3.1 内容

3.1.1 毕德格拉斯派

1.     极其注重抽象概念，第一次把数字抽离事物出来单独研究，包括正方形数、长方形数。这里做下拓展，参考《陶哲轩实分析》。数的类别以及为什么出现数字的类别？
2.  坚持一切数学结果必须根据现有的公理用演绎法推出。

 

 

3.1.2 埃利亚学派

  不可公度比的问题直接导致了一批人来研究离散与连续的关系。这部分做下扩展，参考《托马斯微积分》中的离散与连续，以及概率论中的离散随机变量以及连续随机变量。

 

3.1.3 诡辩学派

3.1.4  柏拉图学派

• 重视抽象数学，它把数学当成真理世界，它只能被发现，而不能被创造。
• 关心分析方法：由已知推导过程，得到一个真理或者矛盾。
• 关心归类法和间接法：演绎推理、归纳法。当时他们认为必须要把演绎推理法作为求证的唯一方法，这也是我现在对于数学建模和自己论文的小要求。

3.1.5 欧多恩艾斯学派

关注无理数，寻找本身就是真理的东西，比如1+1=2这种基本真理。

 

4  

4.1 内容

4.1.1 欧几里的（定义和公设和公理）的范式

它大概长这样，本章花了大量篇幅介绍《原本》中的内容。

自从出现欧几里的几何原本，开始有这么一个研究数学范式了。就是

某个人提出几个定义、再提出几个假设、再依据这两个得到几个定理，在依据这三个推导大部分定理、引理啥的。（这不失为一种证明的手法，可以发论文应该）

再次参考《陶喆徐实分析》，

 

 

5  几何与三角

与我现在关系不大。

6 算术与代数复兴

   基于数的各种运算、比如平方根、立方、加减乘除等，我们必须明白，数与其运算时相辅相成的关系，参考《陶哲轩实分析》是如何把数与计算联系起来建立的。

 

但那个时候人们不关心三次方的数，因为没有意义，只有体积需要三次方，更高次的无法想象，而数学作为独立的学科就会关心这个，这里一个重要的人就是丢番图，他罗列了各种高次方方程并尝试求解。

 

7 希腊人对自然形成理性的观点

之前的《原本》啥的，都没有关注数学的目的、定理如何启发和摸索、数学知识又是如何应用的没有提过。

 

8 总结希腊人的成就

• 抽象。一个问题的解决方法抽象出来，解决一类问题。或者一种问题描述抽象出来，描述一类问题。
• 演绎推理（数学建模），单纯从定义和公理出发，推导其他所有的定理、引理、推论等。

局限性：

• 不能掌握无理数
• 对无穷大、无穷小无定义

 

9  印度和阿拉伯人的数学