[논문 리뷰] Four Departures in Mathematics and Physics

Elemér E Rosinger|arXiv (Cornell University)|2010. 03. 01.

Mathematical and Theoretical Analysis참고 문헌 12인용 수 3

한 줄 요약

이 논문은 수학과 물리학의 네 가지 기초적 제약 조건—모순 없음, 자기참조 없음, 아르키메데스 공리, 행렬 모듈러스 구조의 忽略—을 도전하며, 각 제약 조건이 비표준 수학적 프레임워크, 예를 들어 모순적인 논리 체계, 비아르키메데스 대수, 감소된 거듭제곱 대수 등을 통해 극복될 수 있음을 주장한다. 주요 기여는 현대 물리학, 특히 양자역학과 천체론이 실수와 고전 논리 이외의 수학적 구조를 필요로 하며, 오랫동안 지속된 무한성과 개념적 역설을 해결할 수 있는 일관된 대안을 제시한다는 것이다.

ABSTRACT

Much of Mathematics, and therefore Physics as well, have been limited by four rather consequential restrictions. Two of them are ancient taboos, one is an ancient and no longer felt as such bondage, and the fourth is a surprising omission in Algebra. The paper brings to the attention of those interested these four restrictions, as well as the fact that each of them has by now ways, even if hardly yet known ones, to overcome them.

연구 동기 및 목표

• 기초 이론의 발전을 저지하는 네 가지 장기적인 제한적 가정을 식별하고 비판하는 것.
• 모순의 거부와 자기참조의 거부가 논리적으로 필수적인 것은 아니며, 역사적·문화적 뿌리가 깊다는 것을 주장하는 것.
• 아르키메데스 공리가 필수적 진리가 아니며, 더 풍부한 수학적 구조를 배제하는 제한적 가정임을 보여주는 것.
• n차원 유클리드 공간 ℝⁿ이 비가환 대수 ℳⁿ의 모듈러스로서 더 깊은 대수적 구조를 지닌다는 것을 보여주며, 이는 체계적으로 忽略되고 있음.
• 현대 물리학, 특히 양자장론과 천체론에 더 적합한 기초로 비아르키메데스 수학, 특히 감소된 거듭제곱 대수의 도입을 주장하는 것.

제안 방법

• 디지털 컴퓨터의 기초가 되는 모순적인 논리 체계를 도입하여, 큰 정수 M에 대해 M+1=M이지만 실용적으로 일관된 작동을 하는 것을 보여줌.
• 역사적·철학적 시각에서 자기참조를 분석하며, 거짓말의 역설과 러셀의 역설을 인용하여, 기초 체계에서 자기참조의 정당성을 주장함.
• 아르키메데스 공리를 비아르키메데스 구조로 대체하여, 감소된 거듭제곱 대수를 사용해 무한소와 무한수를 포함하는 순서체를 구성함.
• 다른 환 위에서의 텐서곱과 호모모르피즘을 구성하여, 텐서곱의 구조가 기초 환에 따라 달라지며, 이는 서로 다른 대수적 행동을 유도함을 보임.
• ℝⁿ이 ℝ 위의 벡터공간이자 동시에 비가환 대수 ℳⁿ 위의 모듈러스이기도 하다는 것을 보여주며, 일반적으로 忽略되는 더 풍부한 대수적 구조를 드러냄.
• 주 이상환(PID) 위의 모듈러스에 대한 대수적 분해 정리, 예를 들어 R/(Rp_i^{α_ij})와 같은 구조를 사용하여, 모듈러스 이론의 구조적 풍부함을 설명함.

실험 결과

연구 질문

• RQ1 디지털 컴퓨터가 모순적인 공리 체계 하에서 작동함에도 불구하고 안정적으로 기능하므로, 수학 물리학이 논리적 모순에 대한 금기에서 벗어나 발전시킬 수 있는가?
• RQ2 자기참조는 논리적 결함인가, 아니면 기초 체계에서 필수적인 특성인가, 특히 신의 자기식별과 현대 논리학에서의 자기참조를 고려할 때?
• RQ3 아르키메데스 공리가 실수선을 유일하게 결정하는가, 아니면 물리적 시공간을 더 잘 모델링할 수 있는 타당하고 수학적으로 일관된 대안이 존재하는가?
• RQ4 n×n 실수 행렬의 비가환 대수 ℳⁿ 위에서 ℝⁿ의 구조를 모듈러스로 간주함으로써 풍부하게 만들 수 있으며, 이는 물리학에 어떤 영향을 미치는가?
• RQ5 양자장론과 천체론과 같은 현대 물리 이론들이 무한성 문제와 다중우주 상태 수세기 문제를 해결하기 위해 비아르키메데스 수학적 프레임워크가 필요한가?

주요 결과

• 디지털 컴퓨터는 큰 정수 M에 대해 M+1=M이 되는 모순적인 산술 체계를 기반으로 하되, 안정적으로 작동하므로, 모순이 반드시 무질서를 의미하지는 않음을 증명함.
• ℝ가 유일한 완비 순서체라는 유일성은 깊은 수학적 진리가 아니며, 아르키메데스 공리의 결과일 뿐이며, 이를 제거하면 더 풍부한 수학적 구조가 도출됨.
• 감소된 거듭제곱 대수는 무한소와 무한수를 포함하는 일관된 비아르키메데스 프레임워크를 제공하며, 시공간을 모델링하기 위한 ℝ의 타당한 대안이 됨.
• n차원 공간 ℝⁿ은 비가환 대수 ℳⁿ의 모듈러스로서 자연스러운 구조를 지닌다. 이 사실은 표준적 접근에서 체계적으로 忽略되고 있음.
• 환 R 위에서의 텐서곱은 R에 의존하며, 기초 환을 R에서 부분환 S로 바꾸거나, 환 준동형사상 f와 g를 통해 전환할 경우 서로 다른 텐서곱 구조가 도출되므로, 기초 환의 선택이 수학적으로 의미가 있음을 보여줌.
• 10^500개 이상의 상태가 필요한 양자 알고리즘이 존재하는 반면, 관측 가능한 우주에는 10^80개 이하의 원자만 존재하므로, 표준 실수 기반 모델을 초월한 수학적 구조가 필요하며, 이는 비아르키메데스 대수가 제공할 수 있음.