数学基础诸流派
数学基础问题探索过程中形成的几个学派
数学基础诸流派(various schools of foundation of mathematics)数学史专门术语,指数学基础问题探索过程中形成的几个学派。
数学基础诸流派(various schools of foundation of mathematics)数学史专门术语.指数学基础问题探索过程中形成的几个学派.在数学的第二次危机中,数学家们根据自己在数学基础论的研究中所持不同观点而逐步形成不同的流派.由于19世纪作为整个经典数学理论基础的古典集合论中悖论的发现,导致了数学的第三次危机,从而促使数学家们去探索数学推理在什么情况下有效,什么情况下无效,数学命题在怎样的情况下具有真理性,在怎样的情况下失灵.于是20世纪初,数学基础论这一分科诞生了.摆在从事数学基础问题研究的数学家面前的首要任务,就是如何为数学的有效性重新建立可靠的依据.由于在这一工作中各人所持的基本观点不同,在数学基础论的研究中就形成了各个流派.这也是形成数学基础诸流派的历史背景.
通常人们把数学基础诸流派说成是数理逻辑三大派,即逻辑主义派、直觉主义派和形式主义派.但此说不甚恰当,首先因为这些流派是因研究数学基础而产生的,所提见解多数针对数学基础论中的问题,各派的形成和分歧,亦因数学基础问题而来,故称数学基础论上各流派更贴切.其次,通常认为形式主义派的主要代表人物是德国数学家希尔伯特 (Hilbert,D).,其实这是一种历史的误解,形式主义派的主张和希尔伯特的数学观并不相同.应按历史的本来面目明确划分希尔伯特主义派和形式主义派,因此也就不是什么三大派,而称诸流派更恰当. 总之,应将数理逻辑三大派改称为数学基础诸流派,才符合历史的真实情况.
参考资料
最新修订时间:2024-01-06 14:41
目录
概述
参考资料