[논문 리뷰] Undecidability everywhere?

Karl Svozil|ArXiv.org|1995. 10. 05.

Computability, Logic, AI Algorithms인용 수 13

한 줄 요약

이 논문은 논리적 결정불가능성(undecidability)이 혼돈 동역학과 양자 보완성에서 어떻게 나타나는지 조사한다. 쏜빌은 고델의 불완전성에 뿌리를 두고 있는 결정불가능성이 물리이론의 본질적인 특성일 수 있으며, 이는 예측 가능성과 기술의 한계를 초래하며, 보완성 게임과 과학 지식의 기초에 중요한 영향을 미칠 수 있다고 주장한다.

ABSTRACT

We discuss the question of if and how undecidability might be translatable into physics, in particular with respect to prediction and description, as well as to complementarity games.

연구 동기 및 목표

• 수학적 논리에서 형식화된 결정불가능성이 동역학계에서 물리적 관련성을 가진다는지를 검토하는 것.
• 결정불가능성이 물리이론의 예측 가능성과 기술에 어떤 영향을 미치는지 평가하는 것.
• 결정불가능성과 양자 보완성 게임 간의 관계를 탐색하는 것.
• 논리적 불완전성의 관점에서 과학 지식의 기초적 한계를 조사하는 것.
• 결정불가능성이 단지 수학적 흥미거리가 아니라 물리이론의 구조적 특성임을 규명하는 것.

제안 방법

• 수학적 논리와 계산 가능성 이론의 개념을 활용하여 혼돈 동역학계에서의 결정불가능성 분석.
• 고델의 불완전성 정리들을 물리이론에 적용하여 일부 물리적 진술이 논리적으로 결정불가능할 수 있음을 제안.
• 측정 맥락을 중심으로 결정불가능성의 시각에서 양자역학의 보완성을 검토.
• 예측 한계를 결정론적이나 혼돈적인 시스템에서 논리적 및 형식적 프레임워크를 사용하여 모델링.
• 형식체계에서의 결정불가능성과 물리적 진화의 예측 불가능성 간의 유사성 도출.
• 정보와 계산 가능성의 역할을 물리적 기술에 통합하여 결정불가능성과 연결.

실험 결과

연구 질문

• RQ1 형식체계에서의 결정불가능성이 혼돈 동역학계에서 물리적으로 실현될 수 있는가?
• RQ2 논리적 결정불가능성이 물리계의 예측 가능성에 얼마나 깊이 제약을 가하는가?
• RQ3 결정불가능성은 양자역학의 보완성 원리와 어떻게 관련되는가?
• RQ4 결정불가능성이 단지 이론적 한계가 아니라 구조적 특성으로 작용하는 물리이론이나 현상은 있는가?
• RQ5 결정불가능성의 인지론적 결과로 과학 지식의 한계는 어떻게 규정되는가?

주요 결과

• 고델의 정리로부터 유도된 결정불가능성은 물리이론의 근본적 특성일 수 있으며, 순수한 수학적 산물이 아니라는 점.
• 혼란스러운 시스템은 그 기초 논리적 구조에서의 결정불가능성으로 인해 유한 시간 내에 예측할 수 없는 행동을 보임.
• 양자역학의 보완성은 상호 배타적인 기술이 논리적으로 독립적일 수 있음을 시사하며, 결정불가능성의 관점에서 재해석될 수 있음.
• 장기적 행동이나 측정 결과와 관련된 일부 물리적 질문들은 공식적으로 결정불가능할 수 있음.
• 과학 지식의 한계는 계산 복잡성 외에도 형식체계 내재의 논리적 불완전성에서 기인할 수 있음.
• 논문은 결정불가능성이 논리에 국한되지 않고, 초기 조건에 민감한 시스템에서 특히 물리학에 스며들어 있을 수 있음을 결론 내림.