[论文解读] On the Safe Use of Inconsistent Mathematics

Elemér E Rosinger|ArXiv.org|Nov 14, 2008

Advanced Algebra and Logic参考文献 2被引用 13

一句话总结

本文提出了一种安全使用不一致数学系统的方法，通过隔离并仅利用其中一致的部分——具体而言，即从非不一致的公理子集在有限步内可推导出的语句。该方法应用于现实世界中的不一致系统，如数字计算机，其中溢出（M+1=M）导致不一致，但通过避免溢出，实际计算仍保持可靠，从而实现了通过有限推导深度安全使用不一致性的方法。

ABSTRACT

A method is presented for using the consistent part of inconsistent axiomatic systems.

研究动机与目标

• 为解决数学中长期回避逻辑矛盾与自指现象的问题，尽管这些现象在现代技术中不可避免。
• 证明不一致的数学系统——例如数字计算机中的系统——已在广泛范围内安全使用，且未导致灾难性后果。
• 建立一个正式框架，通过有限推导深度识别并提取不一致理论中的一致结果。
• 通过区分完全不一致的理论与其一致片段，调和不一致系统在实际中的使用（如计算）与理论上避免矛盾的期望。
• 为更广泛接受不一致数学奠定基础，表明即使在不一致框架内，安全可靠的推理也是可能的。

提出的方法

• 定义一个形式系统 (A, L, W, D)，其中 L 为语言，W 为合式公式，D: P(W) → P(W) 为有限推导规则。
• 引入任意理论 T(A) 中语句 P 的有限推导深度 n_A,P 的概念，定义为满足 P ∈ T_n(A) 的最小 n。
• 利用 D 上的有限性条件 (2.6)，确保从无限集合的推导可简化为有限子集，从而保持逻辑封闭性。
• 将 Σ_A,P 定义为所有导致 P 的有限推导序列的集合，确保任何推导中仅使用有限多个公理。
• 将安全语句 P ∈ T(A) 定义为存在一个非不一致子集 B ⊆ A，使得 P ∈ T(B)，从而确保 P 是从一个一致核心中推导出的。
• 将该框架应用于数字计算机的情形，其中 PA + (MI) 是不一致的（由于存在满足 M+1=M 的机器无穷大 M），但通过避免溢出，安全计算得以维持。

实验结果

研究问题

• RQ1 不一致的数学系统，如数字计算机中的系统，尽管存在逻辑不一致，是否可以在实践中安全使用？
• RQ2 何种标准可用来区分从不一致系统中可靠可推导的语句与由矛盾产生的语句？
• RQ3 如何形式化地从一个不一致的公理系统中提取一致且有用的内容？
• RQ4 是否可能发展一种通用方法，以识别并利用不一致理论中的“安全”部分，而无需要求整体一致性？
• RQ5 能否基于现代技术中矛盾与自指现象的实际非灾难性使用，重新审视历史上对逻辑矛盾与自指的回避态度？

主要发现

• 由于存在满足 M+1=M 的机器无穷大 M，系统 (PA) + (MI) 在逻辑上是不一致的，但在数字计算机中被常规使用且未导致灾难性失败。
• 通过限制关注那些可从非不一致公理子集在有限步内推导出的语句 P，可在不一致系统中实现安全推理。
• 有限推导深度 n_A,P 作为关键度量，用于识别那些并非源于全局不一致，而是源于局部一致推导的语句。
• 该方法确保即使在不一致理论 T(A) = W（即所有语句均可推导）的情形下，仅将具有有限且一致推导路径的语句视为安全。
• 该框架为重新评估矛盾在数学中的作用提供了形式基础，表明并非所有不一致都会导致不可靠性。
• 数字计算机的实际成功——尽管其本质上存在不一致——表明，只要在实践中避免溢出与矛盾，不一致并不必然破坏可靠性。