정보혁명 시대를 개척하고 인공지능의 서막을 연 위대한 수학자들의 치열한 삶과 사상의 궤적과 그 속에서 탄생한 현대 컴퓨터의 이야기가 흥미진진하게 펼쳐진다! 컴퓨터 시대의 문을 연 인공지능의 선구자, 제2차 세계 대전 연합군의 승리를 이끈 주역, 앨런 튜링. 불완전성 정리라는 판도라의 상자를 열고 인간 이성의 한계를 수학적으로 증명한 괴델. 이들은 과연 어떻게 '튜링 기계', '보편 튜링 기계' , '괴델 수 대응'라는 위대한 착상을 해내며 현대 컴퓨터의 이론적 토대를 구축했을까? 집합론을 통해 무한의 크기를 비교하고 이를 증명해냄으로써 서양의 철학적 전통에 도전장을 내밀고 ‘불완전성 정리’의 토대를 마련한 칸토어에서 집합론의 패러독스에서 기인한 수학의 위기를 극복하고 수학의 완전성을 증명하려 했던 힐베르트의 야심찬 계획 힐베르트 프로젝트와 수학의 절대적 확실성과 타당성의 토대를 여지없이 무너뜨린 괴델의 불완전성 정리, '기계도 생각할 수 있는가'라는 문제의식에서 출발해 인지과학, 인공지능을 연구하는 사람들에게 끊임없는 과제를 부여하는 튜링 테스트까지. 선구자적인 통찰을 통해 현대 컴퓨터와 인공지능의 초석을 마련한 천재적 수학자들의 발자취가 한눈에 펼쳐진다.