힐베르트 프로그램에서부터 괴델의 불완전성 정리와 튜링의 결정 문제 증명, 튜링 머신과 AI에 대한 이야기를 담고 있는 수학 교양서. 대단히 어려운 내용을 대중이 잘 이해할 수 있게 쉽게 정리해 놔서 참 좋다. –이 책 보고 감동 받아서 지식인 마을 시리즈 책을 좀 더 살펴 봤는데, 대체로 평가가 좋아서 앞으로 이 시리즈 책들을 좀 읽어 봐야겠다는 생각을 했음.

쉽게 쓰여진 덕분에 불완전성 정리와 결정 문제에 대한 개념은 이해했으나, 역시나 그 증명은 따라가기 참 어려웠다. –책에서도 내내 그것을 모두 담기엔 책의 범위를 벗어난다고 나옴– 뭐 내가 수학자 할 것도 아닌데, 개념만 알면 됐지 하는 식으로 증명 부분은 쓱 넘어갔음.