수학자, 컴퓨터를 만들다

서문
들어가며

01 라이프니츠의 꿈
02 불이 논리를 대수로 표현하다
03 프레게, 환희에서 절망으로
04 칸토어, 무한대를 통과하다
05 구원에 나선 힐베르트
06 괴델이 힐베르트 프로그램을 뒤엎어 버리다
07 튜링이 만능 컴퓨터를 상상하다
08 첫 번째 보편 컴퓨터 만들기
09 라이프니츠의 꿈을 넘어서

에필로그

후주
옮긴이의 말
참고문헌
주요 인물의 약력
찾아보기

폰 노이만은 논리학자로서 가진 전문 지식 - 그가 영국의 논리학자 앨런 튜링에게서 배운 것 - 덕분에, 컴퓨터가 진정으로 논리적인 기계라는 사실을 이해할 수 있었다. 여러 세기에 걸쳐 논리학자들이 발전시킨 비범한 통찰력의 핵심이 그 논리 기계의 회로에 발현되었다. 오늘날, 컴퓨터 기술이 엄청나게 빠른 속도로 진보하고, 공학자들의 진정으로 뛰어난 업적에 감탄하는 이때에, 정작 그 모든 것을 가능하게 만든 논리학자들의 생각은 너무나 쉽게 간과되어 버린다. --들어가는 말 중에서