[논문 리뷰] On the Safe Use of Inconsistent Mathematics

Elemér E Rosinger|ArXiv.org|2008. 11. 14.

Advanced Algebra and Logic참고 문헌 2인용 수 13

한 줄 요약

이 논문은 불일치하는 수학적 체계를 안전하게 사용하기 위한 방법을 제안한다. 구체적으로, 충분히 유한한 단계에서 비모순적인 축약된 공리 집합으로부터 유도 가능한 문장들만 분리하여 활용한다. 이는 디지털 컴퓨터와 같은 실제 세계의 불일치하는 체계에 적용되며, 오버플로우(M+1=M)로 인해 발생하는 불일치에도 불구하고, 오버플로우를 피하는 것으로 실용적 계산이 안정적으로 유지됨을 보여준다. 따라서 유한한 유도 깊이를 통해 불일치를 안전하게 활용할 수 있다.

ABSTRACT

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

연구 동기 및 목표

• 현대 기술에서 피할 수 없는 논리적 모순과 자기참조를 피하는 데 오랫동안 지속된 수학의 경향을 다루기 위해.
• 디지털 컴퓨터와 같은 불일치 수학 체계가 이미 광범위하게 사용되고 있으며, 참으로 catastrophic한 결과 없이 안전하게 작동하고 있음을 보여주기 위해.
• 유한한 유도 깊이를 사용하여 불일치 이론에서 일관된 결과를 식별하고 추출하는 공식적 프레임워크를 개발하기 위해.
• 불일치 이론의 이론적 회피와 실용적 사용 간의 갈등을 해소하기 위해, 전체적으로 불일치하는 이론과 그 일관된 조각들 간의 차이를 명확히 하기 위해.
• 불일치 수학의 보편적 수용을 위한 기반을 마련하기 위해, 불일치 프레임워크 내에서도 안전하고 신뢰할 수 있는 추론이 가능하다는 것을 보여주기 위해.

제안 방법

• 언어 L, 잘 구성된 공식 W, 그리고 유한성 조건을 만족하는 유도 규칙 D: P(W) → P(W)를 갖는 형식적 체계 (A, L, W, D)를 정의한다.
• 이론 T(A)의 임의의 문장 P에 대해, 유한 유도 깊이 n_A,P를 정의한다. 이는 P ∈ T_n(A)가 되는 최소한의 n을 의미한다.
• D에 대한 유한성 조건 (2.6)을 도입하여, 무한 집합에서의 유도를 유한 부분집합으로 환원함으로써 논리적 닫힘을 유지한다.
• 모든 유한 유도 순서가 P에 도달하는 집합 Σ_A,P를 정의함으로써, 어떤 유도에서도 유한한 수의 공리만 사용됨을 보장한다.
• 안전한 문장 P ∈ T(A)를 정의한다. 이는 비모순적인 부분집합 B ⊆ A가 존재하여 P ∈ T(B)임을 의미하며, 이는 P가 일관된 핵심에서 도출됨을 보장한다.
• 이 프레임워크를 디지털 컴퓨터의 사례에 적용한다. 여기서 PA + (MI)는 기계적 무한대 M이 M+1=M를 만족함으로써 불일치하지만, 오버플로우를 피함으로써 안정적인 계산이 유지된다.

실험 결과

연구 질문

• RQ1 디지털 컴퓨터와 같은 불일치 수학 체계는 논리적으로 불일치함에도 불구하고 실용적으로 안전하게 사용될 수 있는가?
• RQ2 불일치 체계에서 유도 가능한 문장과 모순에서 유래한 문장 사이를 구분하는 기준은 무엇인가?
• RQ3 불일치 공리 체계에서 일관되고 유용한 내용을 공식적으로 어떻게 추출할 수 있는가?
• RQ4 완전한 일관성 없이도 불일치 이론의 '안전한 부분'을 식별하고 활용할 수 있는 일반적인 방법을 개발할 수 있는가?
• RQ5 현대 기술에서의 실용적이고 재해가 없는 불일치 사용을 고려할 때, 논리적 모순과 자기참조의 역사적 회피는 재고되어야 하는가?

주요 결과

• M+1=M를 만족하는 기계적 무한대 M가 존재함으로써 논리적으로 불일치하는 체계 (PA) + (MI)는 디지털 컴퓨터에서 매일 사용되고 있으며, 참으로 참격적인 실패 없이 작동한다.
• 비모순적인 공리 부분집합으로부터 유한한 단계에서 도출 가능한 문장들에 국한함으로써, 불일치 체계 내에서의 안전한 추론이 가능하다.
• 유한한 유도 깊이 n_A,P는 전반적인 불일치의 결과가 아니라 국소적인 일관된 유도에서 유래한 문장들을 식별하는 핵심 척도가 된다.
• 불일치 이론 T(A) = W(즉, 모든 문장이 유도 가능함)일지라도, 이 메서드는 오직 일관된 유도 경로를 갖는 문장들만 안전한 것으로 간주함으로써 보장한다.
• 이 프레임워크는 모순의 역할을 재평가할 수 있는 공식적 기반을 제공하며, 모든 불일치가 신뢰성에 영향을 주는 것은 아님을 보여준다.
• 디지털 컴퓨터의 실용적 성공—그 자체로 내재된 불일치에도 불구하고—오버플로우와 모순을 실질적으로 피하는 한, 불일치가 신뢰성을 떨어뜨리지 않는다는 것을 입증한다.