서문 ... 6
들어가며 ... 9
01 라이프니츠의 꿈 ... 11
02 불이 논리를 대수로 표현하다 ... 35
03 프레게, 환희에서 절망으로 ... 62
04 칸토어, 무한대를 통과하다 ... 88
05 구원에 나선 힐베르트 ... 119
06 괴델이 힐베르트 프로그램을 뒤엎어 버리다 ... 151
07 튜링이 만능 컴퓨터를 상상하다 ... 194
08 첫 번째 보편 컴퓨터 만들기 ... 244
09 라이프니츠의 꿈을 넘어서 ... 274
에필로그 ... 287
후주 ... 289
옮긴이의 말 ... 320
참고 문헌 ... 329
주요 인물의 약력 ... 341
찾아보기 ... 354