삶 가운데 남긴 기록 AACII.TISTORY.COM

수학은 한마디로 표현하면 수학은 연역적 추론입니다. 현대의 수학은 고대 그리스 철학자들이 논리를 사용하여 자신의 주장(이론)을 증명하면서 시작했다고 할 수 있습니다. 논리는 크게 연역적 추론과 귀납적 추론이 있는데, 이 중에서 수학은 연역적 추론을 사용합니다. 물론 수학적 귀납법을 사용하기도 하지만, 이는 셀 수 있는 특수한 경우에만 사용합니다. 더보기 무수히 많은 실수 집합에서 셀 수 있는 수인 정수는 매우 특수한 경우입니다. 고대 그리스의 유클리드가 쓴 기하학 원론이라는 책이 있습니다. 기하학 원론의 내용은 중학교때 배웠던 삼각형, 합동 등 도형들에 관한 내용입니다. 점, 선, 면 등의 정의와 몇 가지 공리로부터 참인 명제들의 연역적 추론만으로 쓰여있는 책입니다. 이는 현대 수학(과학) 이론 서술(증..