数学联邦政治世界观
超小超大

【SEP】数学与哲学直觉主义(一) (11-1)

数学哲学中的直觉主义 Intuitionism in the Philosophy of Mathematics

原作者:Iemhoff, Rosalie

URL:

Translator: Demian

Proofreader:Demian

直觉主义是一种由荷兰数学家布劳威尔(L.E.J. Brouwer 1881-1966)提出的认为数学是心灵的构造的观点。一个数学陈述的真理只能通过证明它是真的心理构造来确证,而数学家之间的交流只是作为在不同的头脑中创造相同的心理过程的一种手段。

这种对数学的看法对数学的日常实践有着深远的影响,其后果之一就是对排中律的冲击。即“A∨¬A”这一逻辑形式不再有效。事实上,有些命题,比如黎曼假设,目前既没有使其成立的证明,也没有否定它的证明。由于在直觉主义中,知道一个陈述的否定,意味着人们可以证明该陈述不是真的,也就是说,无论是A还是¬A在这个时候的直觉上都不成立。直觉主义对时间的依赖性是至关重要的:语句在时间过程中可以变得可被证明,因此可能变得直观有效,即使以前不是这样。

除了拒斥排中律以外,直觉主义在连续体(continuum)的概念上也强烈地偏离了经典数学,在前者的设定中,连续体的特性是它上面的所有总函数都是连续的。因此,与其他几种构造数学的理论不同,直觉主义不是限制经典推理,而是在根本上与经典数学相矛盾。

布劳威尔把他生命中的大部分时间都用于在这个新基础上发展数学。虽然直觉主义从未取代经典数学成为数学的标准观点,但它一直吸引着人们的注意力,至今仍被广泛研究。

在本条目中,我们集中讨论了直觉主义有别于建构主义(constructivism也译作构造主义)数学其他分支的方面,而它与其他形式的建构主义(如基础理论和模型)共有的部分,只作了简单的讨论。

目录:

1布劳威尔

2直觉主义

2.1 直觉主义的两个规定

2.2 创造主体

3数学

3.1 BHK解释

3.2 直觉主义逻辑‬

3.3 自然数

3.4 连续体

3.5 连续性公理

3.6 条形定理(The bar theorem)

3.7 选择公理‬

3.8 描述性集合论、拓扑学和拓扑理论‬

4建构主义

5元数学‬

5.1 算术

5.2 分析

5.3 无规律的序列

5.4 创造主体的形式化

5.5 基础和模型

5.6 逆向数学‬

6哲学

6.1 现象学‬

6.2 维特根斯坦

6.3 达米特

6.4 有穷主义‬

1布劳威尔

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

烈焰与光 连载中
烈焰与光
心花是花心
凤火烛从小就有精神上的病,他父亲也从小便‘离开’了他,而林殊阳身上也有很多的秘密等着他一一去解开,那一年真正的到底发生了什么?他只知道他所看......
1.1万字8个月前
云朵记录得所愿 连载中
云朵记录得所愿
茶卡盐佑星wx
我不做禁书里惊世骇俗的一章,我偏要走这条路!star(星星⭐️)也许也想许愿,但也挺无奈的。想问上天,但他好像也很疑惑,算了,不问他了,我自......
0.3万字8个月前
如泠鸢璟笔录 连载中
如泠鸢璟笔录
嫣染落晨
(禁盗、搬运、抄袭。)喷子远离由各种不同背景、角色、经历的小故事组成的小说,自创题材。在无尽的宇宙之中,存在着无数的小世界,每一个都拥有自己......
8.3万字8个月前
超变战陀之你是我的唯一 连载中
超变战陀之你是我的唯一
蜜桃樱桃酱
主cp:星寒,星空,星澜
0.3万字8个月前
文豪野犬:消失的圣琴(乙女) 连载中
文豪野犬:消失的圣琴(乙女)
相忧
5.6万字8个月前
这是哪?之真假世界 连载中
这是哪?之真假世界
嘻哈猴
我不知道我是谁,就突然来到这些个世界。我到底是谁?这个世界究竟是什么样的?我到底是死了?还是我已经发疯了?(本文是作者自己压抑的内心世界,请......
5.1万字8个月前