[논문 리뷰] Resource Limited Theories and their Extensions

Paul Benioff|ArXiv.org|2003. 03. 13.

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

한 줄 요약

이 논문은 공간, 시간, 에너지, 운동량 등의 자원 제약을 고려하여 물리적·수학적 이론을 제약하는 프레임워크를 제안한다. 각 자원 수준 $r$에 대해 영역 $D_r$, 언어 $L_r$, 이론 $T_r$ 를 도입한다. 주요 기여는 자원 제약 하에서 기본 물리학 및 수학을 다루는 접근법으로, 이론의 부분 순서와 반사 원리를 사용하여 고델의 완전성 정리의 문제를 해결하고, 모든 $T_r$ 의 극한으로서 통합된 '모든 이론의 이론'(TOE)을 추구한다.

ABSTRACT

This work is based on the idea that extension of physical and mathematical theories to include the amount of space, time, momentum, and energy resources required to determine properties of systems may influence what is true in physics and mathematics at a foundational level. Background material, on the dependence of region or system sizes on both the resources required to study the regions or systems and the indirectness of the reality status of the systems, suggests that one associate to each amount, r, of resources a domain, D_{r}, a theory, T_{r}, and a language, L_{r}. D_{r} is limited in that all statements in D_{r} require at most r resources to verify or refute. T_{r} is limited in that any theorem of T_{r} must be provable using at most r resources. Also any theorem of T_{r} must be true in D_{r}. L_{r} is limited in that all expressions in L_{r} require at most r resources to create, display, and maintain. A partial ordering of the resources is used to describe minimal use of resources, a partial ordering of the T_{r}, and motion of an observer using resources to acquire knowledge. Reflection principles are used to push the effect of Godel's incompleteness theorem on consistency up in the partial ordering. It is suggested that a coherent theory of physics and mathematics, or theory of everything, is a common extension of all the T_{r}.

연구 동기 및 목표

• 물리적 자원 제약—공간, 시간, 에너지, 운동량—을 이론의 수립에 통합하여 물리학 및 수학의 기초 문제를 다루는 것.
• 수학적 현실주의와 물리적 제약 간의 갈등을 자원 가용성에 기반해 진술의 존재성과 진리성을 정의함으로써 해결하는 것.
• 반사 원리를 사용해 고델의 불완전성 정리를 확장하여 자원 제약 이론의 부분 순서에서 일관성 문제를 상향으로 이동시키는 것.
• 모든 자원 제약 이론 $T_r$ 의 극한으로서 일관된 '모든 이론의 이론'(TOE)을 제안하여 산술, 양자역학, 수학적 추론을 통합하는 것.
• 진술의 진리성과 증명 가능성의 정의를 그에 필요한 물리적 자원에 따라 정의하는 형식적 프레임워크를 개발하는 것.

제안 방법

• 자원 제약 $r$ 이내로 검증 또는 반증이 가능한 모든 진술의 집합으로 영역 $D_r$ 을 정의한다.
• 최대 $r$ 자원을 사용해 증명 가능한 공리계로 이론 $T_r$ 을 정의하며, $T_r$ 의 모든 정리는 $D_r$ 에서 참이 되어야 한다.
• 최대 $r$ 자원을 사용해 생성, 표시, 유지할 수 있는 표현들로 이루어진 언어 $L_r$ 을 정의한다.
• 자원 벡터 $r$ 의 부분 순서를 사용해 이론의 계층을 정의하며, $r' \geq r$ 이면 모든 성분에서 $T_{r'}$ 이 $T_r$ 을 확장한다.
• 진술 $S$ 에 대해 $T_r$ 이 유효함을 주장하는 유효성 진술 $Val_r(G(S))$ 에 반사 원리를 적용하여 고델의 두 번째 불완전성 정리의 함의를 자원 계층의 상향으로 이동시킨다.
• 관측자의 지식 획득을 자원 소비 경로로 모델링하며, 각 단계에서 진술을 검증하거나 반증하고, 총 지식을 이러한 진술의 합집합으로 정의한다.

실험 결과

연구 질문

• RQ1 공간, 시간, 에너지, 운동량 등의 물리적 자원 제약을 물리적·수학적 이론의 기초에 체계적으로 통합할 수 있는가?
• RQ2 한 진술의 진리성, 증명 가능성, 그리고 그를 검증하거나 반증하는 데 필요한 최소 자원 비용 $r(S)$ 간의 관계는 무엇인가?
• RQ3 반사 원리를 사용해 자원 제약 하에서 고델의 불완전성 정리를 어떻게 다룰 수 있는가?
• RQ4 모든 $T_r$ 이론의 극한으로서 통합된 '모든 이론의 이론'(TOE)을 구성할 수 있으며, 그 일관성 함의는 무엇인가?
• RQ5 언어와 기호 표현의 물리적 성격이 $L_r$ 과 진술의 자원 비용 정의에 어떤 영향을 미치는가?

주요 결과

• 각 진술 $S$ 는 최소 자원 비용 $r(S)$ 를 가지며, $S$ 는 처음으로 $D_{r(S)}$ 와 $T_{r(S)}$ 에 나타나므로, 그 진리성 또는 거짓성은 그 자원 수준에서만 접근 가능하다.
• 이론 $T_r$ 은 자원 벡터에 의해 부분 순서로 정렬된다: $r' \geq r$ 이면 모든 성분에서 $T_{r'}$ 이 $T_r$ 을 확장하므로, $T_r$ 의 정리는 $T_{r'}$ 의 정리이기도 하다.
• TOE 는 모든 $T_r$ 의 극한으로서 제안되며, 산술, 양자역학, 수학적 추론을 통합하지만, 고델 정리에 따라 자신의 일관성을 증명할 수 없다.
• 반사 원리는 $T_r$ 의 일관성을 더 높은 수준의 이론 $T_{r'}$ 에서 표현할 수 있게 하여 일관성 문제를 자원 계층의 상향으로 이동시킨다.
• 이 프레임워크는 수학적 대상과 물리적 시스템의 존재성이 자원 가용성에 연결되어 있음을 보여주며, 수학적 현실주의에 도전하고 물리적 제약을 통해 수학의 '이성적이지 않은 효과성'을 해소한다.
• 이 모델은 $L_r$ 의 언어 표현이 나노미터에서 킬로미터까지 변하는 물리적 표현을 고려해야 하므로, 이전에 고정된 기호 크기와 자원 비용에 대한 가정을 도전한다.