[论文解读] Brief Lecture Notes on Self-Referential Mathematics, and Beyond

Elemér E Rosinger|ArXiv.org|May 2, 2009

Computability, Logic, AI Algorithms参考文献 5被引用 3

一句话总结

本文通过用反基础公理（AFA）替代策梅洛-弗兰克尔集合论中的基础公理，提出了一种一致的集合论扩展，允许自指集合的存在，同时在ZFC一致的前提下保持一致性。文章认为自指并非本质上悖论性的，并强调了不一致系统在数字计算中的实际应用，主张建立一个更广泛的数学框架，以包容自指与矛盾。

ABSTRACT

Recently delivered lectures on Self-Referential Mathematics, [2], at the Department of Mathematics and Applied Mathematics, University of Pretoria, are briefly presented. Comments follow on the subject, as well as on Inconsistent Mathematics.

研究动机与目标

• 通过用反基础公理（AFA）替代标准集合论中的基础公理，提出一种一致的扩展，以允许自指集合的存在。
• 通过将自指重新解释为数学与人类思想中的基本且非悖论性概念，挑战集合论中‘恶性循环’一词的负面含义。
• 论证不一致数学——以数字计算机在矛盾公理下运行为例——已在广泛的实际应用中使用。
• 倡导建立一个统一自指性与不一致性的更广泛数学框架，暗示将开启广阔的数学新领域。
• 澄清集合、原子个体（ur-elements）与类之间的基础区别，并在一致公理系统中形式化自指定义的作用。

提出的方法

• 用反基础公理（AFA）替代ZFC中的基础公理（FA），AFA断言每个平坦方程组都有唯一解。
• 定义实体层级：集合（SET）、原子个体（U）和类（CLASS），其中原子个体是非集合且不包含元素的实体。
• 使用AFA允许求解如 x = {x} 的方程，从而生成在FA下非良基的自指集合。
• 形式化集合、真类与原子个体之间的区别，确保SET与U是不属于SET的真类。
• 引入强丰裕公理，从现有集合及原子个体的子集生成新的原子个体，确保唯一性与单射性。
• 通过模型论推理证明：若ZFC一致，则ZFA（ZFC去掉FA加上AFA）也是一致的。

实验结果

研究问题

• RQ1 能否在不违反基础原则的前提下，将自指集合一致地纳入标准集合论？
• RQ2 用反基础公理替代基础公理在数学与哲学上的意义是什么？
• RQ3 集合论中自指定义的使用如何与人类思想中自指的历史与认知传统相关联？
• RQ4 现实世界系统（如数字计算机）在多大程度上已基于不一致数学运行？这对基础数学有何启示？
• RQ5 通过统一形式系统中的自指性与不一致性，可能开启哪些新的数学结构与领域？

主要发现

• 反基础公理（AFA）确保每个平坦方程组都有唯一解，从而允许自指集合（如 x = {x}）的存在。
• 若ZFC一致，则由此产生的集合论ZFA也是一致的，意味着自指集合的引入不会导致逻辑矛盾。
• 自指集合并非本质上悖论性的；‘恶性循环’一词具有误导性，源于以罗素悖论为中心的狭隘历史视角。
• 数字计算机在运行中基于一个矛盾系统：它们满足皮亚诺公理，同时也满足机器无穷公理（M + 1 = M，当M极大时），这与皮亚诺算术不一致。
• 计算中此类实际不一致性的存在，表明不一致数学不仅可行，而且在现代技术中已不可或缺。
• 本文提出，将自指性与不一致性统一的新数学前沿正在形成，可能开启广阔的数学新领域。