"기술과 과학에 대한 연구를 추구할 자유"를 기대하며 시작한 가계사 작업이 평생 발목을 잡았던 라이프니츠, 가난한 구두 수선업자의 아들로 태어나 정규 교육을 받지 못했지만 아일랜드의 퀸스 칼리지 교수가 되고 열일곱 살이나 어린 아내와 행복한 결혼 생활을 하게 된 불, 유대인과 프랑스 인을 지독하게 싫어했던 프레게, 영어 알파벳 하나하나에 사귀었던 여자들의 이름 첫 글자를 넣어 시를 지을 수 있었던 힐베르트, 지독한 결벽증과 우울증 때문에 결국 굶어 죽었던 괴델, 동성애자였다는 이유만으로 모든 업적을 생전에 인정받지 못하고 결국 백설 공주의 사과를 물고 죽었던 튜링. 위대한 수학자이자 논리학자였던 7명의 천재들이 살아 온 이야기가 흥미롭게 펼쳐진 책이다.

단 한 문제만이라도 푸는 사람은 "수학계의 대가 반열'에 들어갈 것이라고 힐베르트가 장담했던 힐베르트의 23문제 중 열 번째 문제를 푼 마틴 데이비스! 그가 라이프니츠, 불, 프레게, 칸토어, 힐베르트, 괴델, 튜링 등 7명의 수학자가 컴퓨터 발명을 이끈 수학적 논리적 발전의 과정을 실감나게 보여준다.