[논문 리뷰] L'identité algébrique d'une pratique portée par la discussion sur l'équation à l'aide de laquelle on détermine les inégalités séculaires des planètes (1766-1874)

Frédéric Brechenmacher|arXiv (Cornell University)|2007. 04. 23.

History and Theory of Mathematics참고 문헌 5인용 수 4

한 줄 요약

이 논문은 1766년에서 1874년 사이의 세속 불등식 방정식을 통해 대수적 실천의 역사적 발전을 탐구하며, 라그랑주, 라플라스, 바이어스트라스가 대수적 방법을 어떻게 형성했는지 분석한다. 이는 이 시대의 대수학이 형식화된 이론이 아니라, 별의 운동 불등식을 해결하는 데 뿌리를 두고 있는 역동적이고 정체성에 기초한 실천이었음을 드러내며, 1874년 크로네커-조르당 논쟁이 현대 대수학적 이상을 결정지었다는 점을 보여준다.

ABSTRACT

What did "algebra" mean before the development of the algebraic theories of the 20th century ? This paper stresses the identities taken by the algebraic practices developped during the century long discussion around the equation around the equation of secular inequalities (1766- 1874). In 1874, a strong controversy on the theory of bilinear and quadratic forms opposed Camille Jordan and Leopold Kronecker. The arithmetical ideal of Kronecker faced Jordan's claim for the simplicity of his algebraic canonical form. As the controversy combined mathematical and historical arguments, it gave rise to the writing of a history of the methods used by Lagrange, Laplace and Weierstrass in a century long mathematical discussion around the "equation of secular inequalities".

연구 동기 및 목표

• 20세기 초의 현대 대수학 이론 이전에 '대수학'이란 개념이 어떤 의미를 지녔는지 이해하기 위해.
• 세속 불등식 방정식이 대수적 실천을 형성하는 데 핵심적인 수학적 대상으로서 어떤 역할을 했는지 분석하기 위해.
• 라그랑주와 라플라스에서 바이어스트라스에 이르는 대수적 방법의 진화를 추적하고, 이후 형식화된 대수학에 끼친 영향을 분석하기 위해.
• 1874년 크로네커와 조르당 간의 논쟁이 산술적 이상과 단순성의 이상을 두고 대립함으로써 대수학의 정체성을 어떻게 재정의했는지 조사하기 위해.
• 기록 및 개념적 분석을 통해 대수적 표준형의 역사적 및 수학적 기초를 재구성하기 위해.

제안 방법

• 1766년에서 1874년 사이의 원천 자료를 분석하여, 라그랑주, 라플라스, 바이어스트라스의 별의 운동과 세속 불등식에 관한 저서를 포함한다.
• 여러 세대의 수학자들이 세속 불등식 방정식을 해결하는 데 사용한 대수적 기법의 변화를 추적한다.
• 크로네커와 조르당 간의 1874년 논쟁을 중심으로, 크로네커의 산술적 엄밀성과 조르당의 대수적 단순성 및 표준형 강조라는 대조적인 이상을 중심으로 대수학 정체성의 결정적 순간으로 분석한다.
• 역사 철학적 분석을 통해 형식화 이전의 대수학 개념 정체성이 어떻게 수학적 실천에 의해 형성되었는지 해석한다.
• 천체역학에서의 대수적 방법의 사용과 현대 대수적 구조의 출현을 연결하여 대수적 방법의 유전적 맥락을 재구성한다.
• 핵심 인물들의 인식론적 및 방법론적 프레임워크를 비교하여, 무엇이 '대수적 실천'으로 간주되었는지의 변화를 식별한다.

실험 결과

연구 질문

• RQ1 20세기 초의 추상 대수학 이론 형식화 이전에 '대수학'이라는 용어는 수학적 실천에서 어떤 의미를 지녔는가?
• RQ2 세속 불등식 방정식은 천체역학에서 대수적 기법의 발전을 촉진하는 데 어떻게 기여했는가?
• RQ3 1874년 크로네커와 조르당 간의 논쟁은 대수학의 정체성에 대한 깊은 갈등을 어떻게 反영했는가?
• RQ4 라그랑주, 라플라스, 바이어스트라스의 방법은 대수적 추론의 진화에 어떻게 기여했는가?
• RQ5 역사적 서사가 크로네커-조르당 논쟁 기간 동안 수학적 주장을 어떻게 형성했는가?

주요 결과

• 18세기와 19세기의 대수학은 형식화된 이론이 아니라, 특히 별의 운동에서의 세속 불등식 방정식을 해결하는 데 뿌리를 두고 있는 실천이었다.
• 세속 불등식 방정식은 여러 세대의 수학자들이 대수적 기법을 발전시키는 데 핵심적인 수학적 대상으로 작용했다.
• 1874년 크로네커와 조르당 간의 논쟁은 근본적인 인지론적 갈등을 드러내었는데, 크로네커의 산술적 이상 대비 조르당의 대수적 단순성 및 표준형 강조였다.
• 크로네커-조르당 논쟁 기간 동안 구성된 역사적 서사는 부수적인 것이 아니라 핵심적이었으며, 이는 역사가 대수학 정체성을 정당화하는 데 어떻게 활용되었는지를 드러냈다.
• 이 논문은 대수학의 정체성이 추상적 공리화가 아니라 천체역학과의 실천적 상호작용을 통해 진화했다는 점을 입증한다.
• 심사 및 편집 수정을 거친 최종 발표 버전은 初期 초판에 비해 역사적 및 개념적 프레임워크에서 크게 확장되고 정교화되었다.