올해 잔업

불완전성 정리의 완전 이해 - 참고도서

GEB 컴퓨터 과학이 여는 세계 수학적 참과 증명가능성:논문

• 사전 지식

  칸토어 대각논법

*이후 더 나아가기 http://aitimes.org/wp-content/uploads/2017/02/Allan_turing_Paper_1950_한국어번역.pdf