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

【SEP】数学与哲学直觉主义(二) (6-2)

直觉主义数学的形式化不仅仅包括算术。分析的很大一部分已经从构造的角度被公理化了(Kleene 1965, Troelstra 1973)。这些系统的建构性可以用函数、类型理论或可实现性解释来建立,其中大多数是基于哥德尔的辩证法解释(Gödel 1958, Kreisel 1959)、Kleene可实现性(Kleene 1965)或类型理论(Martin-Löf 1984)或其延伸。在这些解释中,构造性语句所依据的函数,例如将y分配给∀x∃yA(x,y)中的每个x的函数,以各种方式被明确化。

在(Scott 1968 and 1970)中,提出了一个二阶直觉分析理论的拓扑学模型,其中的实数被解释为从Baire空间到经典实数的连续函数。在这个模型中,克里普克的模式以及某些连续性公理是成立的。在(Moschovakis 1973)中,这种方法被改编为以选择序列的方式构造直觉分析理论的模型。在这个模型中,克里普克的模式和某些连续性公理也是成立的。在(Van Dalen 1978)中,Beth模型被用来提供一个满足选择模式、弱连续性实例和Kripke模式的算术和选择序列的模型。在这个模型中,每个节点的域都是自然数,因此人们不必像克里普克模型那样使用非标准模型。此外,创建主体的公理CS1-3可以在其中得到解释,从而表明这个理论是一致的。

5.3 无规律序列(Lawless sequences)

存在着无规律序列的公理化,它们都包含连续性公理的扩展(Kreisel 1968, Troelstra 1977)。特别是以开放数据公理的形式,说明对于 A (α) 不包含除此之外的其他非法学参数α:

A(α)→∃n∀β∈α(¯¯¯n)A(β)

在(Troelstra 1977)中,无规律序列的理论在直觉分析的背景下被发展(并被证明)。除了基本分析的公理之外,对于无规律序列,它还包含了开放数据、连续性、可决断性和密度(密度表示每个有限序列都是无规律序列的初始段)等公理的强化形式。特别有趣的是,在这些理论中,无规律序列上的量词可以被消除,这一结果也可以看作是为这类理论提供了一个有规律序列的模型。无规律序列理论的其他经典模型已经在范畴理论中以模型束的形式被构造出来(van der Hoeven and Moerdijk 1984)。在(Moschovakis 1986)中,引入了一个相对于一定的类定律元素集合的选择序列的理论,以及一个经典模型,在这个模型中,无规律序列正好是通用的。

5.4 创造主体的形式化(Formalization of the Creating Subject)

第2.2节介绍的创造主体可以产生选择序列,这是布劳威尔直觉主义中最重要和最复杂的数学实体。一些哲学家和数学家试图从数学和哲学的角度进一步发展创造主体的理论。

在创建主体概念的形式化中,它的时间方面是用符号形式化的 □ n A 表示创造主体在时间n有一个A的证明(在其他一些表述中:经历了A的真理性 A 在时间 n ). Georg Kreisel (1967)为“创造主体”引入了以下三个公理,它们一起用CS表示:

CS1:□nA∨¬□nA(在时间n,可以决定创建主体是否有A的证明。)

CS2:□mA→□m+nA(创造主体永远不会忘记它所证明的东西)

CS3:(∃n□nA→A)∧(A→¬¬∃n□nA)(创造主体只证明真实的东西,对创造主体来说,没有真实的陈述是无法证明的。)

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

相关小说

(女穿男)回到过去拥抱自己 连载中
(女穿男)回到过去拥抱自己
可爱PP
女穿男回到以前变成一个大帅哥又得到了一个系统,看我怎么带着以前的自己开启快乐生活的!爽文,爽文,主角洁身自好只有一个女主角!
3.4万字8个月前
画布中的美少年 连载中
画布中的美少年
不会取名字的fw
“嘿嘿老子福大命大~区区致命伤”一场车祸嘉茂集团的总裁陆余重生在一个校霸高中生江昭的身上。在得知陆家的阴谋后,他会如何选择?是选择重新踏进陆......
15.8万字9个月前
细水鱼儿出,微风燕子斜 连载中
细水鱼儿出,微风燕子斜
C随and天赋型选手
卷入系统的任务,我们到底记不记得现实大女主文,团队赛
5.0万字8个月前
穿越大佬玩嗨了 连载中
穿越大佬玩嗨了
总想着吃肉
大佬神肆羽被系统零绑定了,本应是施号者的系统沦为小弟。三千世界,本应埋头苦干却被大佬排着队玩。时不时再吸引个俊美男人。从此,生活除了玩,更有......
0.8万字8个月前
我存在于你的存在 连载中
我存在于你的存在
竹下观月风恋晚
这人很懒,啥都没写。
4.8万字8个月前
叶罗丽精灵梦之穿越成路人甲(已断更) 连载中
叶罗丽精灵梦之穿越成路人甲(已断更)
豆腐脑吃不吃
她不老不死,在无尽的长河中陷入沉睡,直到再次被唤醒(cp庞尊)当她遇到她,又会怎么样了?翻请期待。本文乃“甜文”不喜勿喷(为什么没人收藏,唉......
0.9万字8个月前