反推数学与无穷

无穷一直以来都是数学哲学中的一个基本问题,但不同的无穷观都未令人满意。反推数学这一数学新纲领给无穷研究带来了新视角。本文在简述数学中的无穷概念后,利用反推数学对无穷进行梳理。具体而言,首先,反推数学可将经典数学中的大部分无穷数学归约到有穷数学。其次,通过对超越二阶算术的高阶反推数学的研究,发现部分高阶数学在二阶数学中都有对应的部分。最后,初步探讨经典数学需要多大的无穷。

从实用主义看反推数学

反推数学是从定理“反推”公理,每一位数学工作者都可利用这一新方法来开启新研究。追本溯源,反推数学是希尔伯特纲领的一种部分实现。这一相对实现除了延续了希尔伯特纲领的可靠性证明初衷外,无疑也继承了工具主义这一特征,是从实用角度来寻找数学真理。本文将尝试从实用主义哲学的视角出发,进一步探讨反推数学的哲学价值。具体而言,将从以下两方面来进行探讨:首先,结合数学史来论证数学自身的实用性;其次,在说明数学的可修正性之后,基于反推数学纲领,尝试探讨一种实用主义的数学真理观。该真理观以公理化系统为基础,是一种相对的、可修正的、可操作的实用主义真理观。

反推数学及其哲学意义

反推数学是数理逻辑中的一个非常热门的研究领域。与一般的数学实践不同,反推数学不是从公理推导出定理,而是通过"反推"来寻找证明该定理所必需的公理。事实上,反推数学有着深厚的哲学背景:其继承和发展了希尔伯特纲领,是一种希尔伯特纲领的部分实现。文章在简要介绍反推数学及其取得的一些重要成果后,进一步从实用主义角度出发,探讨了反推数学的哲学意义及其重要价值。

紧致性与拉姆塞定理

紧致性是数学中的一个基本概念。本文讨论一些与紧致性有关的数学和数学哲学的话题。在数学方面,我将介绍紧致性在反推数学中的重要性。反推数学是数理逻辑的一个分支,它的主题是用二阶算术的子系统来衡量数学定理的强度。而紧致性定理是其中五大子系统之一。主要的例子是拉姆塞定理。紧致性定理在数理逻辑中有一个推论,如果一个公理系统有任意大的有穷模型,则它必有一个无穷模型。从某种意义上看,它在有穷和无穷之间建立了一个桥梁。这就涉及数学哲学中数学概念(例如无穷)是实在的还是虚构的这一话题。数学哲学中有人主张只有物理世界中的对象是实在的,而物理世界很可能是有穷的;数学中涉及无穷的概念都是虚构的。持有这种主张的人恐怕必须要放弃紧致性定理。

从希尔伯特规划到数学的地图

希尔伯特规划的原初目的是为无穷数学辩护,然而为哥德尔不完全性定理所挫。反推数学的根本目标是为数学命题找寻能够证明它的下限公理,而其中相当一部分工作可以看作为对希尔伯特规划的部分实现。本文在梳理有关工作的基础上试图为希尔伯特规划提供一个新的视角,即在绕开哲学负担之后,希尔伯特规划或许可以推进为为数学绘制地图。