마침내 그들의 꿈은 현실이 됐다
어제와 오늘, 미래를 가로지르며 컴퓨터라는 성을 쌓은 300년에 걸친 여정
컴퓨터와 수학이 어디선가 연결된다고 누구나 어렴풋이 예상은 할 것이다. 하지만 초기 컴퓨터의 명령어들은 너무나 간단하여 수학과 어떻게 연결되는지 알기 어렵다. 이 책은 그런 수학적 발견이 탄생하기 전으로 돌아가서, 현대 컴퓨터의 근간을 이루는 아이디어와 그들이 처했던 삶의 배경을 보여 준다.
17세기부터 20세기까지 약 300년에 걸친 눈부신 혁신자들의 삶은 각자 달랐지만, 그들은 모두 인간이 생각하는 방식의 근원을 찾고자 했다. 각각의 공헌은 촘촘하게 지식의 기반을 만들었고 범용 디지털 컴퓨터를 가능케 했다. 오늘날 컴퓨터 기술이 눈부신 속도로 발전하고 사람들은 공학 기술의 놀라운 성취에 감탄하지만, 이 모든 걸 가능케 한 사람들은 쉽게 간과하곤 한다. 이 책은 그들에 대한 이야기다.
Contents
옮긴이의 말
제3판 서문
제2판 서문
서문
서론
1장: 놀라운 꿈을 꾼 라이프니츠
라이프니츠의 놀라운 생각
파리에서
하노버
범용의 문자 체계
2장: 논리를 수학으로 바꾼 천재 불
힘들었던 불의 삶
불의 논리 대수학
불과 라이프니츠의 꿈
3장: 논리의 표현을 완성한 프레게
프레게의 개념 표기법
정규화된 문법을 만든 프레게
버트런드 러셀의 편지가 그리도 절망적이었던 이유
프레게와 언어의 철학
프레게와 라이프니츠의 꿈
4장: 무한을 탐험한 칸토어
공학자 혹은 수학자
서로 다른 크기의 무한 집합들
무한한 수를 향한 칸토어의 탐구
대각선 논법
우울증과 비극
결정적인 전투?
부록: 칸토어와 크로네커
5장: 완전한 알고리즘을 꿈꾼 힐베르트
힐베르트의 초기 업적
새로운 한 세기를 향하여
무한을 둘러싼 싸움
메타수학
파국
6장: 완전한 계산의 꿈을 뒤흔든 괴델
괴델의 박사 학위 논문
결정불가능 명제들
컴퓨터 프로그래머 쿠르트 괴델
쾨니히스베르크 학술회의
사랑과 혼란
1930년대 프린스턴에서 수학을 둘러싸고 벌어진 일들
빈으로의 회귀
힐베르트의 사상
불가사의한 인물의 슬픈 마지막
부록: 괴델의 불완전 명제
7장: 범용 컴퓨터를 생각해 낸 튜링
대영 제국의 아이
힐베르트의 결정 문제
튜링이 분석한 계산의 과정
튜링 기계의 동작
칸토어의 대각선 논법을 적용한 튜링
해결할 수 없는 문제
튜링의 범용 기계
프린스턴에서의 앨런 튜링
앨런 튜링의 전쟁
8장: 최초의 디지털 범용 컴퓨터
누가 컴퓨터를 발명했나?
존 폰 노이만과 무어 공과 대학
앨런 튜링의 에이스(ACE)
에커트, 폰 노이만, 그리고 튜링
감사해야 할 국가가 영웅을 대접한 방식
9장 : 라이프니츠의 꿈을 넘어
엘리자, 왓슨, 그리고 딥 블루
바둑을 두는 컴퓨터
컴퓨터, 두뇌, 마음
맺음말
더 읽을거리
참고 자료
찾아보기
Author
마틴 데이비스,박상민
저명한 수학자이자 논리학자인 에밀 L. 포스트 밑에서 수학했고 알론조 처치의 지도를 받아 1950년에 프린스턴 대학교에서 박사 학위를 받았다. 60년이 넘는 기간 동안 컴퓨터 과학과 논리학의 관계에 대해 연구했으며 뉴욕 대학교에서 30년간 재직하며 컴퓨터 과학과를 설립하는 데 공헌했다.
저명한 수학자이자 논리학자인 에밀 L. 포스트 밑에서 수학했고 알론조 처치의 지도를 받아 1950년에 프린스턴 대학교에서 박사 학위를 받았다. 60년이 넘는 기간 동안 컴퓨터 과학과 논리학의 관계에 대해 연구했으며 뉴욕 대학교에서 30년간 재직하며 컴퓨터 과학과를 설립하는 데 공헌했다.