목차
서문 = 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
서문 = 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