주 메뉴 바로가기 본문내용 바로가기

괴델의 불완전성 정리 1

김상현이토록 황홀한 수학
강의 내용
공리와 추론 위에서 탄생한 수학의 명제들. 그런데 그 체계가 참이란 것은 어떻게 보장할 수 있을까? 엄밀한 체계를 세우고 싶어 했던 20세기 수학자들의 도전은 과연 성공할 수 있을까?