[오늘의 한문장] 수학의 눈으로 보면 다른 세상이 열린다

공리

공리
1. 같은 것과 같은 것들은 서로 같다.
2. 같은 것들에 같은 것을 더하면 그 합은 서로 같다.
3. 같은 것들에서 같은 것을 빼면 그 차는 서로 같다.
4. 서로 포개어지는 것들은 서로 같다.
5. 전체는 부분보다 크다.

[오늘의 한문장] 수학의 눈으로 보면 다른 세상이 열린다

정의

수학에서는 참, 거짓을 판단할 수 있는 문장과 별개로 그 의미를 약속으로 미리 정한 것을 정의definition 라고 한다.
정의는 단지 약속이므로 참, 거짓을 판단하지 않는다.
유클리드는 우선 기본적인 용어를 정의하면서 서술을 시작한다
. 《원론》의 첫 문장은 다음과 같다.
점은 쪼갤 수 없는 것이다.
(21p)

[오늘의 한문장] 수학의 눈으로 보면 다른 세상이 열린다

유클리드

고대 그리스 수학을 집대성한 유클리드는 저서 《원론》에서 처음으로 5개의 공리와 5개의 공준을 정하고 이로부터 당시까지 알려진 모든 수학적 사실을 일목요연하게 재배치했다.
공리는 수학 일반에서 대전제를 의미하며, 공준은 기하학에서 대전제를 의미한다. 당시에는 공리와 공준을 구분하기 위해 다른 단어를 선택했으나 훗날 모두 공리라는 용어로 불리게 된다.유클리드의 그리스어 이름은 에우클레이데스이며 《원론》 역시 영어식 번역을 옮긴 말로 원제목은 《스토이케이아》이다. 그리스어로 세상을 구성하는 기본 요소라는 의미를 담고 있다. (20p)

[오늘의 한문장] 수학의 눈으로 보면 다른 세상이 열린다

수학의 시작은?

사람들이 알고 있는 수학 지식의 출발점은 어디일까? 이 역시 수학 에서 본질적인 물음 가운데 하나다. 수학 세계에서 참으로 증명된 문장을 정리theorem라고 한다. 하나의 정리는 또 다른 정리를 사용해서 증명한다. A를 설명하기 위해서는 B가 필요하다. B가 참이라는 것을설명하려면 C가 필요하다. C를 위해서는 D가…. 이렇게 거슬러 올라 가면 논리의 끝에 무엇이 있을까?(19p)

[오늘의 한문장] 수학의 눈으로 보면 다른 세상이 열린다

공리-정의-증명-정리

엑시엄은 수학용어로 공리를 뜻한다. 엑시엄axiom의 어원은 그리스어 단어인 axioma에서 왔으며 ‘그 자체로 명백한 진리‘라는 의미를 가지고 있다. 수학에서 공리는 증명하지 않고 참으로 받아들이는 명제를 뜻한다.(18p)