증명 실험실
사고의 공간 속에서 현실 세계를 완전히 배제하고 논리만으로 증명하는 것을 연습하는 공간입니다.
수학이란,
우리가 무엇에 대해 말하고 있는지도 모르고, 우리가 말하는 것이 참인지도 모르는 학문이라고 정의할 수 있다.
증명에 필요한 필수요소 3가지
별관 · 유클리드 원론
열 줄의 믿음으로, 책 한 권을 통째로 지을 수 있을까요?
유클리드의 거래는 단순합니다. 증명 없이 받아들이는 것은 딱 열 줄 — 공준 다섯과 공통관념 다섯, 오늘날 공리라 부르는 것들입니다. 나머지 명제 62편은 전부 증명합니다. 원론 1·2권을 원문 순서 그대로 걷습니다.
입장 →
수의 여정
수가 넓어질 때마다, 증명해야 할 것이 하나씩 생겨났습니다.
ℕ
ℤ
ℚ
√2
ℝ
ℂ