[논문 리뷰] Comparing Classical and Relativistic Kinematics in First-Order Logic

Koen Lefever, Gergely Székely|arXiv (Cornell University)|2017. 07. 13.

History and Theory of Mathematics참고 문헌 16인용 수 3

한 줄 요약

이 논문은 일阶 논리(first-order logic)를 사용하여 고전 역학과 상대성 이론 간의 형식적 비교를 수행하며, 시간과 공간을 재정의함으로써 특수 상대성 이론이 고전 역학 내에서 논리적으로 해석될 수 있음을 보여준다. 주요 결과는 '에테르(postulate)'를 포함한 고전 역학과 특수 상대성 이론 간의 정의적 동치성을 입증함으로써, 고전 물리학에서 상대성 물리학으로의 전환은 에테르를 기각하고 동시성 및 측정 방식을 재정의하는 데에 달려 있음을 밝혀낸다.

ABSTRACT

The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to the language of classical kinematics which translates the axioms of special relativity into consequences of classical kinematics. We will also show that if we distinguish a class of observers (representing observers stationary with respect to the "Ether") in special relativity and exclude the non-slower-than light observers from classical kinematics by an extra axiom, then the two theories become definitionally equivalent (i.e., they become equivalent theories in the sense as the theory of lattices as algebraic structures is the same as the theory of lattices as partially ordered sets). Furthermore, we show that classical kinematics is definitionally equivalent to classical kinematics with only slower-than-light inertial observers, and hence by transitivity of definitional equivalence that special relativity theory extended with "Ether" is definitionally equivalent to classical kinematics. So within an axiomatic framework of mathematical logic, we explicitly show that the transition from classical kinematics to relativistic kinematics is the knowledge acquisition that there is no "Ether", accompanied by a redefinition of the concepts of time and space.

연구 동기 및 목표

• 고전 역학과 상대성 이론 간의 관계를 느린 속도 근사 이론을 넘어서 형식적이고 논리 기반으로 이해하기 위해.
• 특수 상대성 이론의 공리들이 일阶 논리를 사용해 고전 역학에 어떻게 논리적으로 번역될 수 있는지 조사하기 위해.
• 고전 역학과 특수 상대성 이론이 정의적으로 동치가 되는 조건을 규명하기 위해.
• 고전 물리학에서 상대성 물리학으로의 인지적 전환을 경험적 내용의 변화가 아니라 개념적 프레임워크의 변화로 명확히 하기 위해.
• 정의적 동치성과 논리적 해석을 사용하여 두 이론 간의 정확한 공리적 차이를 특정하기 위해.

제안 방법

• 안드레카–네티 학파의 대수적 논리 프레임워크를 따르며, 등호를 포함한 다중 종류의 일阶 논리로 고전 역학과 특수 상대성 이론을 공리화하기 위해.
• 특수 상대성 이론의 언어에서 고전 역학으로의 논리적 번역 함수를 정의하여, 특수 상대성 이론의 공리를 고전 역학의 결과로 매핑하기 위해.
• 에테르 기반 관측자에 대한 불변성을 형식화하기 위해 '에테르 관측자 불변성'(EOI) 개념을 도입하기 위해.
• 정의적 동치성을 사용하여, 빛보다 느린 관성 관측자만을 포함하는 고전 역학이 특별히 우선시되는 에테르 기준 프레임을 가진 고전 역학과 논리적으로 동치임을 보여주기 위해.
• Ax의 신뢰할 만한 모델을 영감으로 받아 고전 역학에 Poincaré–Einstein 동기화를 적용하여 상대성 이론의 동시성 모델링하기 위해.
• 특수 상대성 이론에 '에테르' 공리를 추가하면 정의적 동치성의 추이성에 의해 고전 역학과 정의적으로 동치가 되며, 이를 증명하기 위해.

실험 결과

연구 질문

• RQ1 특수 상대성 이론의 공리들이 일阶 논리를 사용해 고전 역학의 언어 내에서 어떻게 논리적으로 해석될 수 있는가?
• RQ2 고전 역학과 특수 상대성 이론이 정의적으로 동치가 되는 데 필요한 논리적 조건는 무엇인가?
• RQ3 논리 수준에서 '에테르'는 고전 역학과 상대성 이론 간의 차이를 어떻게 규정하는가?
• RQ4 특수 상대성 이론에서 시간과 공간의 재정의가 고전적 가정에서 논리적 번역을 통해 어떻게 유도되는가?
• RQ5 고전 역학에서 상대성 역학으로의 전환이 충분히 공리적 논리적 프레임워크 내에서 지식 획득 과정으로 포괄될 수 있는가?

주요 결과

• 특수 상대성 이론의 공리들은 고전 역학의 언어 내에서 논리적으로 해석될 수 있으며, 이는 적절한 번역이 적용될 경우 고전 역학의 결과임을 의미한다.
• 빛보다 느린 관성 관측자만 포함하는 고전 역학은 특별히 우선시되는 에테르 기준 프레임을 가진 고전 역학과 정의적으로 동치이다.
• 특수 상대성 이론에 '에테르' 공리를 추가하면 정의적 동치성의 추이성에 의해 고전 역학과 정의적으로 동치가 된다.
• 고전 역학과 상대성 역학 간의 핵심적 차이는 경험적 내용이 아니라 에테르의 기각과 Poincaré–Einstein 동기화에 의한 시간과 공간의 재정의에 있다.
• 논리적 프레임워크는 모든 가정을 명시적이고 기계 검증 가능한 방식으로 보장하여 형식적 증명 검증이 가능하게 한다.
• 에테르 관측자 불변성(EOI)의 사용은 특정 공식이 에테르 관측자의 선택에 관계없이 불변임을 형식적으로 증명할 수 있게 하여 논리적 번역의 강건성을 뒷받침한다.