1701057740
(34) 范·达伦,2005年,第614页。
1701057741
1701057742
(35) 这是他后来所做的。与一个荷兰出版商合作,他于1934年创办了《数学论文集》杂志。
1701057743
1701057744
(36) 范·达伦,2005年,第613页。
1701057745
1701057746
(37) 私人交流,2005年8月16日。
1701057747
1701057748
(38) 这是一部作者不详的希腊戏剧的名字。罗伦哈根(Rollenhagen)将其改写为德文的中世纪版本。
1701057749
1701057750
(39) 范·达伦,2005年,第619页。
1701057751
1701057752
(40) 德克·范·达伦,私人交流,2005年9月16日。
1701057753
1701057754
(41) 范·达伦,1990年,第31页。
1701057755
1701057756
(42) 雷德,1970年,第187页。
1701057757
1701057758
(43) 直觉主义有时被称为建构主义。例如,直觉主义者不接受超越第二个数类的超穷基数。这就是说,我们应该多少能够像计算普通整数那样计算序数。直觉主义者也不接受康托尔更高的基数,因为对直觉主义者关于精神创造的认识来说,这些概念不能建设性地达到其目的。这与康托尔派的实践形成了鲜明对比,在他们的观念中,所有能一致阐述的东西都是存在的。
1701057759
1701057760
(44) 斯莱帕,斯维茨(Swetz)文集,1994年,第207页。
1701057761
1701057762
(45) 同上。
1701057763
1701057764
1701057765
1701057766
1701057768
数学恩仇录:数学家的十大论战 10 绝对主义者/柏拉图主义者vs易误论者/建构主义者 数学进步是发现还是发明?
1701057769
1701057770
在一个充满了怀疑和不确定的世界里,很长时间以来,数学被看成是确定性最后的堡垒。在不同时期被称为绝对主义或柏拉图主义的拥护者们的看法反映了这个观点,他们把数学看作是客观和精确的。他们运用数学非凡的能力来描述自然和技术中的运动和形态,并主张真正的数学知识是完美和永恒的。
1701057771
1701057772
持相反意见的数学家也有很多,其中最常见的是易误论者(fallibilist,暗示数学的不可靠性)。他们把数学看成是一个在不断进步的活动。有人甚至主张,某些数学进展被接受是建立在数学家们的权威基础上,而不是建立在理性的证明基础上。
1701057773
1701057774
另一群被归入这一类的数学家是建构主义者。他们的观点可以追溯到康德(Kant)和克罗内克(详见第6章)。建构主义者的目标是重构数学知识,使它不至于退化和引起矛盾。因此建构主义者拒绝接受康托尔关于实数是不可数的证明,他们也拒绝接受排中律。直觉主义者L·E·J·布劳威尔(详见第9章)也属于这一类。换言之,经典数学的某些部分是不可靠的,应该通过“建构性的”思想和方法来“重构”它们。
1701057775
1701057776
有趣的是,科学已经经历了类似的演变。随着相对论和量子力学的出现,绝对主义者对于科学的观点已经很大程度让位于易误论者的思想。然而对于数学,绝对主义/柏拉图主义稳固的核心仍未被触及——实际上,它们甚至可能是主导性的模式——尽管它一直经受来自各方的不断攻击。
1701057777
1701057778
在线杂志《数学教育哲学》(Philosophy of Mathematics Education)的编辑保罗·恩斯特(Paul Ernest)说:“在过去的几十年间,新一波‘易误论者’的数学哲学发展壮大起来,这些哲学提出了一种不同的、跟人们以往印象不同的数学形象,认为数学是人性的、可改正的、历史的和不断变化的。易误论把数学看作是社会运行的结果。数学知识永远处在修改之中,不仅是它的论据,还有它的观念,这都是可以理解的。因此,这个观点包含数学家的实践、数学的历史及应用、数学在人类文明中的地位——这些都在合理的哲学思考之中,也是数学评论和教育的结果。”(1)
1701057779
1701057780
从哲学的角度思考数学不是新事物。对数学哲学有强烈兴趣的著名法国数学家雷恩·托姆(Rene Thorm)在1990年写道:“数学哲学处在可以称之为‘库恩式革命’(2)(Kuhnian revolution)的变革的漩涡之中。”在这里,‘库恩式’这个词有几种寓意。
1701057781
1701057782
● 它意味着数学方式的一个极具意义的转变。例如在20世纪60年代,集合论的符号和公理体系已经融入了中学的数学课程中。对于一个初学者来说,这意味着什么?
1701057783
1701057784
● 它意味着革命是一种进步,而不仅仅是一种变化。正如我们将要看到的,对于这种说法,有一些问题,但托姆认为‘库恩式’仍然是合适的。
1701057785
1701057786
● 另外,这种变化发生在一个重要的有趣的领域。这当然是对的。
1701057787
1701057788
托姆认为,绝对主义在数学中的退却有两个重要原因。他写道:“一个原因是,数学的基础并不像想象的那样可靠。哥德尔的第一不完备性定理已经表明,公理体系确实不能获得最有趣味的数学体系的真理。”(详见第7章)
1701057789
[
上一页 ]
[ :1.70105774e+09 ]
[
下一页 ]