数学的三个世界和数学的三种证明方式的关系

1.韬尔提出了数学证明的三个水平。并把这种认知层次的分析置于他后来提出的“数学的三个世界”的理论框架下。

2. 

	数学证明的三个水平	数学的三个世界
起因	到底什么是证明？	概念之间有何差异？
方向	研究侧重于“探究数学证明的认知发展规律”	激发了从初等数学概念向形式化的高等数学概念的发展
目的	找到促进学生理解证明的本质的途径	说明概念产生差异
提出	通过数与代数、几何、微积分的内容基于三个世界的水平上提出	引进了数学的三个世界的概念，在认知上是按顺序发展

3.因为数学证明的三个水平是基于三个世界的理论提出来的，所以框架和结构形式都与三个世界的理论相似，同样关注三个认知层次（形象化；过程概念化；形式化）上的学生表现。 因为对于数学家来说只有水平三的证明才是真正的证明，也就是达到三个世界中的形式化世界。但是，因为认知发展的限制，学生对证明的理解和认识会随着具体化世界和过程概念化世界的发展所发展，最终才能到达形式化世界。就这里看而言，如果没有数学的三个世界的理论支持，前两种证明水平的合理性和科学性就会存疑。