‘지식인마을’ 시리즈 36권. 컴퓨터 시대의 문을 연 인공지능의 선구자, 제2차 세계 대전 연합군의 승리를 이끈 주역, 앨런 튜링. 불완전성 정리라는 판도라의 상자를 열고 인간 이성의 한계를 수학적으로 증명한 괴델. 이들은 과연 어떻게 '튜링 기계', '보편 튜링 기계' , '괴델 수 대응'라는 위대한 착상을 해내며 현대 컴퓨터의 이론적 토대를 구축했을까. 선구자적인 통찰을 통해 현대 컴퓨터와 인공지능의 초석을 마련한 천재적 수학자들의 발자취를 통해 현대 컴퓨터의 이야기가 흥미진진하게 펼쳐진다.