设万维读者为首页 广告服务 技术服务 联系我们 关于万维
简体 繁体 手机版
分类广告
版主:诤友
万维读者网 > 教育学术 > 帖子
数学三大流派ZT
送交者: repentant 2016年05月06日17:37:04 于 [教育学术] 发送悄悄话
作者:wsivoky
放眼望去,这个世界满是不幸的人。他们想象自己能够拥有财产…… 同时滋生一种对知识、权力、健康、荣耀和愉悦的不知餍足的欲望。

只有那些认识到自己一无所有、无法拥有任何东西、安全是不可企及的人,那些完全隐退、牺牲一切的人。那些不知道任何东西、不渴望任何东西也不想知道任何东西的人。那些放弃一切和看轻一切的人,才能得到一切:自由的世界向他开启了。这是一个没有痛苦的沉思的世界 —— 一个一无所有的世界。

以上是直觉主义大师布劳威尔在他25岁时写的一本小书《生活、艺术和神秘主义》中的结尾。

直觉主义者通过唤醒人们内心所确认的约束意识来寻求数学真理。维基百科对直觉主义的定义如下:

In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possible independent existence in an objective reality.


在数学哲学中,直觉主义认为数学应当通过纯粹的人类心智上构造活动而获得,而不是依靠发现声称客观存在的基本原则。因此,逻辑和数学不应当被视为揭示和分析客观实在的活动,而是实现构造复杂心智对象内在的一致的方法。直觉主义认为直觉先于任何逻辑、规则,或者原理。后者不过是一种检验直觉合理性的工具,本身不具备发现任何真理的价值。

直觉主义的先驱帕斯卡有名言:

“心有其理,非理之所能知。”
“推理是那些不明真理的人用以发现真理的迟钝、愚笨的方法。”
“孱弱无能的理智啊,你该有自知之明。”

直觉主义认为人固有地能洞察世界的真相,这种“能”被固化到人的心智里面,称为直觉。就像中国古代的“天人”观念一样,不过需要反着理解:任何合于人的直觉,都合于天之大道。这是道法于人,而不是人法道。也像是“造物主”将它自己的“基因”传递给了人(或者其他的物种),该物种通过这些基因最终能构造出造物主的世界。

世界的真相被刻在人的心智之中。

而逻辑主义的观念显得更明了,它相信一切事物的基础是逻辑推理和不言自明的少数公里;形式主义则强调符号和推导规则的万能,一切事物都在它这套体系之中。形式主义强调不需要“智慧”的“意义”的介入,对过程和结果的解释与过程和结果是独立的,他们希望的自动完成和自我完备,并且没有自我矛盾。相反,逻辑主义并不看中完备,它强调的是没有任何矛盾或者悖论。

合于逻辑,或者说令人满足的期望总是他们追求的目标,对冰冷而且简单的逻辑问题非常适合,对复杂的问题或者非理性的问题无能为力;形式主义不太理会这点,他们执着于精致的符号规则以及永无止境的完备,这对于良好定义的问题能够最高效地解决,对其他的问题显得非常笨拙和低效;直觉主义与他们相去很多,简言之,比起“更正确”的逻辑和精确的形式,他们更看中内在感觉,他们走在对未知探索的前头。


0%(0)
0%(0)
  三大流派已经融合,你中有我 - 究竟 05/07/16 (1003)
    多年前曾看到一个讨论,觉得非常不错 - 究竟 05/07/16 (1047)
      帖中那个自称本某的水平甚高,估计超过此坛所有人  /无内容 - 究竟 05/07/16 (997)
        那个帖子打不开, 你有备份吗?  /无内容 - repentant 05/08/16 (980)
          太多年了,过两天找找  /无内容 - 究竟 05/08/16 (955)
  这篇文章最肤浅  /无内容 - 究竟 05/07/16 (1023)
  很好的贴! - 风中树叶 05/07/16 (1029)
  数学哲学基础的三大流派 - repentant 05/06/16 (1044)
  三大数学流派简介zt - repentant 05/06/16 (1161)
    这个不错  /无内容 - 究竟 05/07/16 (1021)
标 题 (必选项):
内 容 (选填项):
实用资讯
回国机票$360起 | 商务舱省$200 | 全球最佳航空公司出炉:海航获五星
海外华人福利!在线看陈建斌《三叉戟》热血归回 豪情筑梦 高清免费看 无地区限制
一周点击热帖 更多>>
一周回复热帖
历史上的今天:回复热帖
2015: “感性文化”的特点(4):野蛮视为“自
2014: 为啥不可以把北大办成哈佛剑桥第二
2014: 高智,高教育背景的家长被愿望了吗?
2013: 老罗:巴门尼德
2013: 违反标准设计的北京地铁收费系统不具备
2012: 一位高校教师的逆流宣言 ---黄云
2012: 就5月六日月球的照片,揭示地球人都不
2011: 性交方式透露了万物是设计的而非进化的
2011: 爱因斯坦的预言再一次得到了证实, 地球