괴델의 불완전성 정리
시대: 초기 이론 · 1930년대~1950년대
쿠르트 괴델이 불완전성 정리를 발표하여, 충분히 강력한 형식 체계 내에서는 증명하거나 반증할 수 없는 명제가 반드시 존재한다는 것을 증명했다. 이 발견은 수학계에 충격을 주었을 뿐만 아니라 훗날 계산 이론과 인공지능 발전에도 깊은 영향을 미쳤다.
쿠르트 괴델 (1906~1978)
출처와 근거
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Springer · 출처 유형: paper
Gödel’s 1931 paper establishes the first incompleteness theorem.
게시일: ·접근일: