从实用主义看反推数学

摘要：

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

关键词：实用主义、反推数学、希尔伯特纲领、数学真理、可修正性

所属期刊栏目：45

分类号：N0:O1

资助基金：国家社会科学基金15CZX045

在线出版日期：2023-04-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：46-54