수학에는 증명할 수 없는 진실이 있다
쿠르트 괴델의 1931년 정리는 견고한 수학 시스템조차도 증명할 수 없는 참된 진술을 포함하고 있음을 증명했습니다. 이는 논리와 계산의 근본적인 한계를 드러냈습니다.
1931년, 수학자 쿠르트 괴델은 충격적인 사실을 발표했습니다. 가장 강력한 수학 시스템조차도 그 안의 모든 참된 진술을 증명할 수 없다는 것입니다. 그의 불완전성 정리는 기본적인 산술을 설명하는 모든 일관된 시스템에는 항상 증명하거나 반증할 수 없는 참된 명제가 있음을 보여주었습니다. 이는 완전하고 일관된 수학 시스템에 대한 꿈을 산산조각 냈습니다.
이 이야기에 더 많은 내용이 있어요 — 앱을 열어 계속 읽어 보세요.
앱에서 계속 읽기
단락 1개 더 · 그리고 3문제 퀴즈