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

数学哲学译文丨综合数学简介 (4-1)

Posted by Mike Shulman

John 正在为 Elaine Landry 的书《为在职哲学家准备的范畴论》(Category Theory for the Working Philosopher)撰写关于“同一性概念”的文章,并一直在发布他的一些想法和草稿。我也在为同一本书撰写关于同伦类型论 / 泛等基础(HoTT/UF)的文章;但由于 HoTT/UF 也将在John 和 David Corfield 的章节中客串出场,而且它的一个方面(泛等)是 Steve Awodey 章节的核心,所以我必须决定在我的章节中强调它的哪个方面。

我目前的计划是把重点放在 HoTT/UF 作为一个无穷群胚的综合理论。但为了说明这意味着什么,我觉得我需要从一个简短的介绍开始,介绍一下“综合理论”这个词,它可能不是很常见。目前,我的“介绍”草稿的篇幅已经超过了我的章节分配篇幅的一半;所以显然它需要被压缩!但我想我还是先把它的一些部分以目前的形式发布出来;那么就开始吧。

总的来说,数学理论可以分为分析理论和综合理论两类。分析理论是对研究对象进行分析(或者说“拆解”),揭示它们是由更简单的事物组成的,就像复杂分子是由质子、中子和电子组成一样。例如,解析[1]几何用实数来分析点和直线的平面几何性质:点是实数的有序对,直线是点的集合,等等。从数学上讲,分析理论的基本对象是用某些其他理论中的对象来定义的。

相比之下,综合理论是根据基本对象的预期关系和行为来综合(或者说“组成”)对它们的概念。例如,综合几何更像是欧几里得几何学:点和直线基本上是未定义的术语,通过“规定我们可以用它们做什么”的公理(例如两点确定一条唯一的直线)来赋予它们意义。(尽管欧几里得本人试图定义“点”和“线”,但现代数学家普遍认为这是一个错误,并认为欧几里得的“定义”(如“点是没有部分的东西”)基本上是没有意义的。)从数学上讲,综合理论是一个由规则或公理支配的形式系统。综合数学可以看作是类似于基础物理学,在那里像电磁场这样的概念不是由任何更简单的东西“组成”的:它只是存在,并以某种方式运作。

分析和综合之间的区别至少可以追溯到希尔伯特,他分别使用了“遗传”和“公理”这两个词。在某种程度上,我们可以说现代数学的特征正是分析和综合之间丰富的相互作用——尽管大多数数学家会说的是定义和例子。例如,一个现代几何学家可能会定义“一个几何学”来满足欧几里得的公理,然后用这些公理综合地工作;但她也会分析地构建这些“几何学“的例子,比如用实数的有序对。这种方法是由希尔伯特本人开创的,他特别强调,构造一个分析的例子(或模型),就证明了综合理论的一致性。

然而,在更深层次上,几乎所有的现代数学都是分析性的,因为它都被分析到集合论中。我们的现代几何学家实际上不会像欧几里得那样陈述她的公理;相反,她会将一个几何定义为一个点集 P 和一个线集 L,以及 P × L 的子集代表“重合”关系,等等。从这个角度来看,数学中唯一真正未定义的术语是“集合”,唯一真正的综合理论是策梅洛-弗兰克尔集合论(ZFC)。

这种将集合论作为数学的共同基础的做法,当然是20世纪的产物,总的来说,这是向前迈出的一大步。实际上,它为所有数学家提供了一种共同的语言和强大的基本工具集。从基础上说,它确保了所有的数学相对于集合论都是一致的。(希尔伯特的证明绝对一致性的梦想一般认为已经被哥德尔的不完备定理所粉碎。)从哲学上讲,它为数学提供了一致的本体论,并提供了一个提出元数学问题的背景。

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

相关小说

我在修仙游戏里磕cp 连载中
我在修仙游戏里磕cp
锦鲤_43827340896276126
自娱自乐
0.1万字1个月前
白衣染尘 连载中
白衣染尘
Scorpio-.
笑看三千红尘客,莫言他人是与非。无人知你辛酸事,不提昔日喜与悲。修真界,向来是一个弱肉强食之地,杀人夺宝皆是常事。亲友为宝,自相残杀之事,更......
7.2万字4周前
LOVE文案 连载中
LOVE文案
梨白小生
各种文案集合在一起。有伤感,开心,也有对生活的感叹。
15.1万字4周前
腹黑狐狸的宠妻攻略 连载中
腹黑狐狸的宠妻攻略
夏氷冬卿
是神又如何?能成佛又如何?几十万岁如何?永生不灭又如何?我只愿陪着我的小狐狸踏万水千山,赏姹紫嫣红,顺便……谈谈情,说说爱,造一造什么的,不......
21.2万字4周前
刺客伍六七恢复记忆 连载中
刺客伍六七恢复记忆
粉小兔
1.7万字4周前
隔岸相望的恋人 连载中
隔岸相望的恋人
鲛珠
(暂时完结,目前在精修和创作后续)【原创小说,请勿抄袭或转载,如有雷同,纯属巧合!】紫陌,一个花季少女,逼于无奈,跳下悬崖,不料和媚儿互换身......
4.2万字4周前