On the independence problem of Newton's first law

본 논문은 유클리드 기하학에 기반한 새로운 "형식적 설명"을 제시하여 뉴턴의 제1법칙의 "독립성 문제"를 다루는데, 이는 해당 법칙이 별도의 포함을 필요로 함을 요구하며, 동시에 이전에 제안된 설명들에 대한 포괄적인 검토와 평가를 수반한다.

핵심

이 논문은 쉬운 언어와 일상적인 비유를 사용하여 설명합니다.

큰 미스터리: 하나의 법칙으로 충분해 보이는데 왜 두 개의 법칙이 존재하는가?

비디오 게임의 규칙책을 읽고 있다고 상상해 보세요.

• 규칙 1: "아무 버튼도 누르지 않으면, 캐릭터는 제자리에 머무르거나 일정한 속도로 직선 운동을 계속한다."
• 규칙 2: "버튼을 누르면(힘을 가하면), 캐릭터는 가속하거나 감속하거나 방향을 바꾼다. 누르는 힘이 강할수록 변화가 더 빨라진다."

현대 게이머에게 규칙 1은 규칙 2의 특별한 경우처럼 보입니다. 규칙 2 에서 "버튼 누르기"를 0 으로 설정하기만 하면 자동으로 규칙 1 이 도출되기 때문입니다. 그렇다면 게임 디자이너 (아이작 뉴턴) 는 왜 이들을 별도의 규칙으로 작성했을까요? 왜 규칙 2 만 나열하고 "오, 아무것도 누르지 않으면 아무 일도 일어나지 않는다"라고 덧붙이지 않았을까요?

이 논문이 다루는 것은 바로 "독립성 문제"입니다. 수세기 동안 사람들은 뉴턴이 첫 번째 법칙을 별도의 독립된 규칙으로 포함시킨 이유에 대해 논쟁해 왔습니다.

기존의 설명 (우리가 이미 알고 있던 "이유")

이 논문의 저자들 이전에 학자들은 다음과 같은 여러 가지 이유를 제시했습니다.

• "교사" 이론: 아마도 뉴턴은 복잡한 두 번째 법칙의 수학을 접하기 전에 학생들에게 "힘"과 "질량"이라는 새롭고 혼란스러운 개념을 이해시키기 위해 이를 별도로 작성했을지도 모릅니다.
• "반역자" 이론: 아마도 이는 오래된 아이디어 (아리스토텔레스의 사물이 자연스럽게 정지한다는 믿음 등) 에 대한 수사학적 매질이었을지도 모릅니다. 그는 "이봐! 밀어주지 않는 한 사물은 정지하지 않는다!"라고 외치고 싶었을 것입니다.
• "정의" 이론: 아마도 첫 번째 법칙은 두 번째 법칙이 작동하는 데 필요한 "관성 좌표계"(완벽한 비가속 관점) 가 무엇인지 정의하는 데 필요했을지도 모릅니다.

이 논문의 저자들은 말합니다: "이것들은 흥미롭지만, 뉴턴이 이를 행한 진짜 이유는 아닐지도 모릅니다."

새로운 설명 #1: "기하학"적 이유 (형식적 설명)

이것이 논문의 주요 발견입니다. 저자들은 그 이유가 교육이나 철학과는 전혀 관련이 없으며 수학에 있다고 주장합니다.

비유: 자 vs 계산기

• 뉴턴의 수학 (유클리드 기하학): 뉴턴은 고대 그리스 기하학 (유클리드) 의 언어로 책을 썼습니다. 이 오래된 체계에서는 선, 각도, 면적과 같은 물리적 도형들을 다룹니다.
• 현대 수학 (대수학): 오늘날 우리는 숫자와 변수를 사용하는 대수학 (예: $F = ma$) 을 사용합니다.

기하학에서의 0 의 문제:
뉴턴 시대에는 기하학에 비율에 관한 엄격한 규칙이 있었습니다. 두 가지 사물을 비교하려면 둘 다 존재해야만 했습니다.

• 선의 길이를... 아무것도 없는 것의 길이와 비교해 보라고 상상해 보세요.
• 유클리드 기하학에서는 "선"과 "없는 선" 사이의 비율을 가질 수 없습니다. 0 으로 나누는 것과 같습니다. 그 개념은 그 체계에서는 단순히 존재하지 않습니다.

해결책:
뉴턴의 제 2 법칙은 "힘"과 "운동의 변화" 사이의 비례(비율) 로서 작성되었기 때문에, 힘과 운동이 모두 실제 존재하는 것(0 이 아닌 것) 일 때만 작동했습니다.

• 힘이 존재하면 비율이 존재합니다.
• 힘이 없다면, 비율은 무너집니다. 당시의 수학은 비례 안에 "0"을 처리할 수 없었습니다.

결론:
뉴턴은 힘의 크기가 0 인 경우를 측정할 수 있는 수학적인 "자"가 없었기 때문에, 첫 번째 법칙을 별도로 작성해야 했습니다. 그는 주된 수학 도구인 "비례"가 그 상황을 설명할 수 없었기 때문에, "hey, 힘이 없을 때는 이렇게 된다"라고 말할 별도의 규칙이 필요했습니다.

새로운 설명 #2: "안전망" 이유 (논리적 설명)

저자들은 두 번째로, 이를 뒷받침하는 아이디어를 제시합니다.

비유: 기초 vs 집

• 제 1 법칙은 집의 기초와 같습니다. "무언가가 밀어주지 않는 한 사물은 하고 있는 일을 계속한다"라고 말합니다. 이는 자연에 관한 매우 포괄적이고 근본적인 진리입니다.
• 제 2 법칙은 그 위에 지어진 구체적인 집입니다. "밀어주는 힘이 특정량의 가속을 일으킨다"라고 말합니다.

핵심:
내일 우리가 "특정량의 가속"(제 2 법칙) 이 틀렸거나 변경이 필요하다는 것을 발견한다 하더라도 (예: 아인슈타인이 우주 여행을 위해 뉴턴의 법칙을 수정한 것처럼), 제 1 법칙은 여전히 참일 것입니다.

• 제 1 법칙은 "안전망"입니다. 이는 제 2 법칙의 구체적인 수학에 의존하지 않는 자연의 매우 일반적인 기본 진리를 포착합니다. 지붕 (제 2 법칙) 이 개보수되더라도 전체 이론을 지탱하는 기반이기 때문에 이를 별도로 명시하는 것이 중요합니다.

다른 이론들은 어떻게 되는가?

저자들은 "교사"나 "반역자" 이론과 같은 기존 이론들을 검토하여 두 가지 주요 이유로 덜 설득력 있다고 판단했습니다.

1. 텍스트 구조: 뉴턴은 법칙들 앞에 "정의" 섹션을 배치했습니다. 이는 그가 법칙을 작성하기 전에 이미 운동과 공간과 같은 용어들을 정의했다는 것을 시사합니다. 따라서 법칙들은 그 용어들을 정의하기 위해 있는 것이 아니라, 사물이 어떻게 행동하는지 진술하기 위해 있는 것입니다.
2. "공리"라는 라벨: 뉴턴은 이것들을 "공리"라고 불렀습니다. 수학에서 공리는 자명한 진리입니다. 만약 뉴턴이 첫 번째 법칙이 단순히 두 번째 법칙의 지루한 부수적 결과라고 생각했다면, 이를 근본적이고 독립적인 진리로 나열하지 않았을 것입니다.

결론

이 논문은 뉴턴이 두 개의 별도 법칙을 작성한 가장 유력한 이유는 기술적이라고 결론 내립니다.

그가 당시의 수학 (유클리드 기하학) 을 사용했기 때문에, 그는 실제로 "영힘" 경우를 포함하는 방식으로 제 2 법칙을 작성할 수 없었습니다. 사물이 사라지면 비례의 수학은 무너졌습니다. 따라서 그는 "아무 일도 일어나지 않는" 시나리오를 처리하기 위해 별도의 규칙 (제 1 법칙) 을 작성해야 했습니다.

이는 깊은 철학적 미스터리나 교육적 트릭이 아니라, 그가 사용하던 수학 도구의 한계를 위한 필수적인 수정이었습니다.

기술 요약

기술적 요약: 뉴턴의 제1법칙 독립성 문제에 관하여

문제 제기
본 논문은 뉴턴의《프린키피아》에 내재된 "독립성 문제", 즉 운동 제1법칙의 명백한 중복성을 다룬다. 제1법칙은 힘이 작용하지 않는 물체는 정지 상태 또는 등속 직선 운동 상태를 유지한다고 명시한다. 현대적 용어로 $F=ma$로 공식화된 제2법칙은 알짜힘$F$가 0이면 가속도$a$도 0임을 의미하며, 이는 수학적으로 제1법칙과 동치이다. 이는 뉴턴이 제2법칙의 사소한 귀결로 취급하지 않고 별도의 공리로 제1법칙을 포함시킨 이유에 대한 역사적·논리적 질문을 제기한다.

연구 방법
저자들은 뉴턴이 활용한 수학적 체계에 초점을 맞춰 뉴턴의《프린키피아》에 대한 역사적·형식적 분석을 수행한다. 현대의 대수적 해석이나 교육적 추측에 의존하기보다, 17세기에 존재했던 유클리드 기하학의 구체적 정의와 '비례' 개념을 조사한다. 연구 방법은 다음과 같다:

1. 텍스트 분석: 유클리드《원론》(특히 제5권)의 비율과 비례에 관한 정의를 검토한다.
2. 역사적 맥락화: 17세기에서 19세기 사이 수학에서 기하학적 추론에서 대수적 추론으로의 전환을 검토하며, 골드스타인 (Goldstein), 실라 (Sylla), 그로홀츠 (Grosholz) 의 저작을 인용하여 뉴턴이 어떤 수학 전통을 따랐는지 규명한다.
3. 논리적 재구성: 뉴턴이 영 (zero) 크기와 비영 (non-zero) 크기를 어떻게 다뤘는지 파악하기 위해《프린키피아》의 구조를 분석한다.

주요 기여
본 논문은 제1법칙의 독립성에 대한 두 가지 새로운 설명을 제안하며, 주된 초점은 "형식적 설명"에 둔다:

1. 형식적 설명 (주요 기여):
   저자들은 법칙의 분리가 유클리드 기하학의 수학적 형식주의에 의해 필수적이라고 주장한다. 유클리드의 정의에 따르면, 크기는 배수했을 때 서로를 초과할 수 있을 때만 비를 가진다 (정의 4). 따라서 영 (zero) 크기는 다른 어떤 크기와도 비를 가질 수 없다.

   • 뉴턴의 제2법칙은 비례 관계로 표현된다: "운동의 변화는 가해진 동력에 비례한다."
   • 유클리드 정의 하에서, 힘 (또는 운동의 변화) 이 0 일 때 이 비례 관계는 정의되지 않는다.
   • 따라서 뉴턴의 기하학적 체계 내에서 엄격하게 해석된 제2법칙은 0 이 아닌 힘과 가속도에 대해서만 적용된다. 제1법칙은 비례의 기하학적 정의가 다루지 못하는 힘의 부재 (영의 경우) 에 대한 물체의 거동을 명시적으로 정의하기 위해 필요하다.
   • 이는 $F=0$을 대입하는 것이 유효한 연산이 되어 자연스럽게 제1법칙을 도출하는 현대의 대수적 공식 $F=ma$와 대조된다.

2. 논리적 설명 (부수적 기여):
   저자들은 제1법칙이 제2법칙의 구체적인 양적 관계가 변하더라도 유효하게 남아 있는 더 근본적이고 일반적인 원리라고 제안한다. 제2법칙이 힘과 가속도 사이의 비례 관계를 명시하는 반면, 제1법칙은 힘 없이 지속되는 운동 상태의 존재를 확립한다. 이는 제2법칙의 구체적 형태가 다를 수 있는 대체 물리 이론 (예: 상대성 이론) 에서도 제1법칙이 유효한 공리로 남을 수 있게 한다.

결과 및 경쟁적 견해 평가
본 논문은 문헌에 존재하는 수많은 기존 설명들을 평가한다:

• 개념적 선행성: 제1법칙이 관성 좌표계나 자연 운동을 정의한다는 견해. 저자들은《프린키피아》가 법칙 이전에 '절대 공간'과 운동 정의를 도입하므로 이러한 정의에 대해 법칙이 불필요하다고 지적하며, 뉴턴의 이유로 이를 기각한다.
• 교육적/화학적 이유: 명확성을 위해 추가되었거나 아리스토텔레스 물리학과 단절하기 위해 추가되었다는 이론. 저자들은 이러한 이유들이 공리들의 논리적 구조를 설명하기에는 부족하다고 주장한다.
• 범위 축소: 제2법칙이 0 이 아닌 힘 (코스로우) 이나 특정 유형의 힘에만 적용된다는 주장. 저자들은 임의적인 범위 제한이 아니라 수학적 언어 자체에서 근본 원인을 규명한다는 점에서 "형식적 설명"이 우월하다고 본다.

저자들은 "형식적 설명"이 가장 강력한 해결책이라고 결론 내린다. 이는 현대 대수학에서는 논리적 필연성이 아니지만 뉴턴이 사용한 유클리드 기하학에서는 기술적 필연성임을 보여줌으로써 독립성 문제를 해결한다. 뉴턴이《Scholium》에서 이러한 "중복성"을 다루지 않았다는 사실은 17 세기 수학적 맥락 내에서 분리가 자연스럽고 문제없었다는 견해를 뒷받침한다.

의의
본 논문은 수사적 또는 교육적 추측이 아닌 수학적 형식주의에 의존하는 "새로운 답변"을 제공한다는 점에 주요 의의가 있다고 주장한다. 유클리드 비례의 정의에 근거하여 설명을 토대함으로써, 저자들은 오랫동안 이어져 온 수수께끼에 대한 "간단하고 직관적인" 해결책을 제시한다. 이 연구는 모든 맥락에서 제1법칙이 단순히 제2법칙의 특수한 경우라는 오해를 바로잡고, 수학적 언어의 선택 (기하학 대 대수학) 이 물리 법칙의 논리적 구조를 근본적으로 어떻게 변화시키는지 강조한다. 본 논문은 새로운 실험적 적용을 제안하지는 않지만, 뉴턴의 기초 작업에 대한 역사적·철학적 이해를 정교화하고자 한다.