동아사이언스

이미지 확대하기

1931년 오스트리아 출신 미국 수학자 쿠르트 괴델이 발표한 ‘불완전성 정리’는 모순 없는 공리계를 만들고자 노력한 수학자들의 희망을 앗아가 버렸습니다. 그 이유가 무엇인지 알아봅시다.  ♥ 증명할 수 없는 문장 괴델의 불완전성 정리는 제1정리와 제2정리로 구성돼 있습니다. 두 정리 중 특히 제2...(계속)

글 : 최정담(<발칙한 수학책> 저자)
진행 : 이채린 기자 rini113@donga.com
일러스트 : 엠케이
디자인 : 정영진
수학동아 2022년 06호