[논문 리뷰] Towards a Coherent Theory of Physics and Mathematics

Paul Benioff|ArXiv.org|2002. 01. 21.

Quantum Mechanics and Applications참고 문헌 13인용 수 8

한 줄 요약

이 논문은 어떤 이론이 타당성과 충분한 강도를 동시에 만족하고, 자신의 타당성과 강도를 최대한으로 기술하는 것을 요구함으로써 물리학과 수학의 통합적이고 일관된 이론을 제안한다. 이는 물리계가 모든 언어적·수학적 표현을 표현해야 하며, 효율적이고 물리적으로 실행 가능한 독해 규칙을 가져야 하며, 양자 수준의 교란에 대해 강건성을 확보해야 한다고 주장한다.

ABSTRACT

As an approach to a Theory of Everything a framework for developing a coherent theory of mathematics and physics together is described. The main characteristic of such a theory is discussed: the theory must be valid and and sufficiently strong, and it must maximally describe its own validity and sufficient strength. The mathematical logical definition of validity is used, and sufficient strength is seen to be a necessary and useful concept. The requirement of maximal description of its own validity and sufficient strength may be useful to reject candidate coherent theories for which the description is less than maximal. Other aspects of a coherent theory discussed include universal applicability, the relation to the anthropic principle, and possible uniqueness. It is suggested that the basic properties of the physical and mathematical universes are entwined with and emerge with a coherent theory. Support for this includes the indirect reality status of properties of very small or very large far away systems compared to moderate sized nearby systems. Discussion of the necessary physical nature of language includes physical models of language and a proof that the meaning content of expressions of any axiomatizable theory seems to be independent of the algorithmic complexity of the theory. Gödel maps seem to be less useful for a coherent theory than for purely mathematical theories because all symbols and words of any language musthave representations as states of physical systems already in the domain of a coherent theory.

연구 동기 및 목표

• 수학적 논리와 물리 원리를 통합함으로써 물리학과 수학을 통합하는 일관된 이론을 개발하기.
• 이론이 자신의 타당성과 충분한 강도를 최대한으로 기술하도록 요구함으로써 물리학과 수학의 기초적 문제를 다루기.
• 의미와 언어의 물리적 구현을 탐구하며, 의미의 내용이 알고리즘 복잡도와 독립적임을 주장하기.
• 물리적 및 수학적 우주가 서로 얽히고 섞인, 상호적으로 결정되는 현상으로서 어떻게 탄생하는지 탐구하기.
• 완전하지 않거나 일관되지 않은 후보 이론을 거부하기 위한 기준—예: 일반 적용 가능성과 물리적 실행 가능성—을 설정하기.

제안 방법

• 일阶논리 술어기호계를 사용하여 일관된 이론을 공리화함으로써, 굿엘의 정리와 같은 수학적 논리 도구의 적용을 가능하게 한다.
• 기호를 겉물 분자의 양자 상태로 표현함으로써 언어를 물리적으로 모델링하며, 공간적 위치는 함수 ℓ(i)과 척도 인자로 정의된다.
• 단어 W의 양자 상태를 개별 기호 상태의 텐서곱으로 정의한다: ρ_W = ⨂_i ρ_α_{W(i),ℓ(i)}.
• 텍스트로의 확장을 위해 복합 상태 ρ_Ŵ,ℓ̲ = ⨂_j ρ_Ŵ(j),ℓ̲(j)를 정의하고, 위치 및 척도 인자 함수를 사용해 조직화한다.
• 독해 역학에 물리적 제약을 도입한다: 자원 소비는 기호 수에 대해 다항식적으로 증가해야 하며, 이는 효율적이고 물리적으로 실행 가능한 독해를 보장한다.
• 자유 에너지를 최소화하고 지수적 자원 증가를 피하는 규칙만이 물리적으로 타당하다고 주장하며, 이는 실제 독해 관행을 반영한다.

실험 결과

연구 질문

• RQ1 물리학과 수학의 일관된 이론을 비일관된 후보 이론과 구별하는 데 사용할 수 있는 기준은 무엇인가?
• RQ2 기호화 가능한 이론의 의미 내용은 알고리즘 복잡도와 독립적으로 어떻게 물리적으로 표현될 수 있는가?
• RQ3 물리적 및 수학적 우주가 일관된 이론을 통해 어떻게 함께 탄생하는가?
• RQ4 언어와 기호 체계가 시간이 지남에 따라 안정적으로 독해되고 유지될 수 있도록 보장하는 물리적 제약는 무엇인가?
• RQ5 타당성과 강도에 대한 최대한의 자기 기술 요구 조건이 가능한 일관된 이론의 공간을 어떻게 제한하는가?

주요 결과

• 일관된 이론은 타당해야 하며(모든 정리가 참이어야 하며), 충분히 강도가 있어야 하며, 이러한 성질에 대한 최대한의 자기 기술이 핵심 기준이 된다.
• 잉크 분자의 격자 위에서의 양자 상태를 통한 언어의 물리적 표현은 기호적 표현이 물리적으로 실현 가능하고, 낮은 확률의 양자 교란에 대해 강건함을 보장한다.
• 기존 기호 상태에 의존하지 않고 기호 위치에만 의존하는 독해 규칙은 자원 소비를 다항식적으로 유지하므로 물리적으로 효율적이고 실행 가능하다.
• 모델은 기호화 가능한 이론의 의미 내용이 물리적 표현이 유지되는 한, 알고리즘 복잡도와 독립적임을 보여준다.
• 이론은 물리적·수학적 우주가 사전에 존재하는 것이 아니라, 일관된 이론과 함께 탄생하며 상호로 얽히고 섞여 상호 결정됨을 지지한다.
• 독해 규칙에서 지수적 자원 증가는 물리적으로 비현실적이라 제거되며, 이는 물리적 언어 체계에서 효율적이고 다항식 시간 역학이 필수적임을 강화한다.