"기술과 과학에 대한 연구를 추구할 자유"를 기대하며 시작한 가계사 작업이 평생 발목을 잡았던 라이프니츠, 가난한 구두 수선업자의 아들로 태어나 정규 교육을 받지 못했지만 아일랜드의 퀸스 칼리지 교수가 되고 열일곱 살이나 어린 아내와 행복한 결혼 생활을 하게 된 불, 유대인과 프랑스 인을 지독하게 싫어했던 프레게, 영어 알파벳 하나하나에 사귀었던 여자들의 이름 첫 글자를 넣어 시를 지을 수 있었던 힐베르트, 지독한 결벽증과 우울증 때문에 결국 굶어 죽었던 괴델, 동성애자였다는 이유만으로 모든 업적을 생전에 인정받지 못하고 결국 백설 공주의 사과를 물고 죽었던 튜링. 위대한 수학자이자 논리학자였던 7명의 천재들이 살아 온 이야기가 흥미롭게 펼쳐진 책이다.
단 한 문제만이라도 푸는 사람은 "수학계의 대가 반열'에 들어갈 것이라고 힐베르트가 장담했던 힐베르트의 23문제 중 열 번째 문제를 푼 마틴 데이비스! 그가 라이프니츠, 불, 프레게, 칸토어, 힐베르트, 괴델, 튜링 등 7명의 수학자가 컴퓨터 발명을 이끈 수학적 논리적 발전의 과정을 실감나게 보여준다.
저자 : 마틴 데이비스
저명한 수학자이자 논리학자인 에밀 L. 포스트 밑에서 수학했고 1950년에 알론조 처치의 지도 아래 프린스턴 대학교에서 박사 학위를 받았다. 저서 『계산 가능성과 해결 불가능성(1958년)』은 "컴퓨터 과학 분야에서 몇 안되는 진정한 고전 중 하나"라는 찬사를 받고 있다.
서문
들어가며
01 라이프니츠의 꿈
02 불이 논리를 대수로 표현하다
03 프레게, 환희에서 절망으로
04 칸토어, 무한대를 통과하다
05 구원에 나선 힐베르트
06 괴델이 힐베르트 프로그램을 뒤엎어 버리다
07 튜링이 만능 컴퓨터를 상상하다
08 첫 번째 보편 컴퓨터 만들기
09 라이프니츠의 꿈을 넘어서
에필로그
후주
옮긴이의 말
참고 문헌
주요 인물의 약력
찾아보기
카트
