[논문 리뷰] Brief Lecture Notes on Self-Referential Mathematics, and Beyond

Elemér E Rosinger|ArXiv.org|2009. 05. 02.

Computability, Logic, AI Algorithms참고 문헌 5인용 수 3

한 줄 요약

이 논문은 Zermelo-Fraenkel 집합론의 일관된 확장을 제안하며, 기초 공리(axiom of foundation)를 반기초 공리(anti-foundation axiom, AFA)로 대체함으로써 자기참조 집합(self-referential sets)의 존재를 허용하면서도, 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)로 대체하여 자기참조 집합을 허용하는 일관된 확장을 제안한다.
• 자기참조를 수학과 인간 사고의 근본적 개념으로 재해석함으로써, 집합론에서 '나쁜 순환(vicious circle)'이라는 부정적 용어를 도전한다.
• 디지털 컴퓨터가 모순된 공리에 기반해 작동한다는 사례를 들어, 불일관된 수학이 이미 광범위하게 실용적으로 사용되고 있음을 주장한다.
• 자기참조성과 불일관성을 통합하는 더 넓은 수학적 프레임워크를 제안하며, 수학 탐구의 거대한 새로운 영역을 열어줄 수 있음을 강조한다.
• 집합, 우-원소(ur-elements), 및 클래스 간의 기본적 차이를 명확히 하고, 일관된 공리계 내에서 자기참조 정의의 역할을 형식화한다.

제안 방법

• ZFC에서 기초 공리(Foundation Axiom, FA)를 반기초 공리(Anti-Foundation Axiom, AFA)로 대체함으로써, 모든 평탄한 방정식계가 유일한 해를 가짐을 보장한다.
• 엔티티의 계층을 정의: 집합(SET), 우-원소(U), 및 클래스(CLASS)로 구성되며, 우-원소는 원소를 포함하지 않는 비집합이다.
• AFA를 사용해 x = {x}와 같은 방정식의 해를 허용함으로써, FA에 의해 잘 설계되지 않은 자기참조 집합을 생성한다.
• 집합, 진정한 클래스, 우-원소 간의 차이를 형식화하여, SET와 U가 SET에 속하지 않는 진정한 클래스임을 보장한다.
• 새로운 우-원소를 기존의 집합과 우-원소의 부분집합으로부터 생성하기 위해 강력한 만능 공리(Strong Axiom of Plenitude)를 도입함으로써, 유일성과 단사성( injectivity)을 확보한다.
• ZFA(ZFC에서 FA를 제거하고 AFA를 추가한 체계)가 ZFC가 일관되다면 일관되다는 것을 모델 이론적 추론을 통해 증명한다.

실험 결과

연구 질문

• RQ1 자기참조 집합이 기본 원리에 위배되지 않도록 표준 집합론에 일관되게 통합될 수 있는가?
• RQ2 기초 공리를 반기초 공리로 대체하는 것의 수학적 및 철학적 의의는 무엇인가?
• RQ3 집합론에서 자기참조 정의의 사용은 인간 사고의 역사적·인지적 전통에서의 자기참조와 어떻게 관련되는가?
• RQ4 실제 세계의 시스템, 예를 들어 디지털 컴퓨터처럼 불일관된 수학에 기반한 시스템이 얼마나 널리 퍼져 있으며, 이는 기초 수학에 어떤 함의를 갖는가?
• RQ5 형식 체계에서 자기참조성과 불일관성을 통합함으로써 어떤 새로운 수학적 구조와 영역이 접근 가능해질 수 있는가?

주요 결과

• 반기초 공리(AFA)는 모든 평탄한 방정식계가 유일한 해를 가지므로, x = {x}와 같은 자기참조 집합의 존재를 보장한다.
• ZFA는 ZFC가 일관되다면 일관되므로, 자기참조 집합을 도입해도 논리적 모순이 발생하지 않는다.
• 자기참조 집합은 본질적으로 역설적이지 않으며, '나쁜 순환'이라는 용어는 러셀 역설 중심의 좁은 역사적 관점에서 비롯된 오해이다.
• 디지털 컴퓨터는 모순된 체계에서 작동한다: 피아노 공리계를 만족하지만, 매우 큰 M에 대해 M + 1 = M을 만족하는 기계적 무한공리(Machine Infinity Axiom)도 만족한다. 이는 피아노 산술과 모순된다.
• 계산에서 이러한 실용적 불일관성의 존재는 불일관된 수학이 유일할 뿐 아니라 현대 기술에서 필수적이라는 것을 시사한다.
• 이 논문은 자기참조성과 불일관성을 통합함으로써 새로운 수학적 영역이 열릴 수 있으며, 이는 수학 탐구의 거대한 새로운 영역을 열어줄 수 있음을 제안한다.