목차
펴내면서
감사
01 마음의 도구
02 400년의 축적
2.1 보편만능 기계의 탄생
청년 앨런 튜링
좌절을 확인하는 데 동원된 소품
수학계의 꿈
괴델이 깬 그 꿈
케임브리지 강의
컴퓨터의 원천 설계도
단순한 부품
궁극의 기계
튜링기계를 테이프에 표현하기
튜링기계를 돌리는 규칙표
급소
튜링의 불완전성 증명
멈춤 문제의 증명
컴퓨터
2.2 400년
의문
다른 트랙
03 그 도구의 실현
3.1 다른 100년
3.2 생각 - 부울의 연구
1854년
그리고, 또는, 아닌
같음
조립
3.3 스위치
직렬, 병렬, 뒤집기
1937년
스위치 분야의 날개
디지털
표현 방식
판정, 선택, 응답, 기억
3.4 컴퓨터의 실현
차곡차곡 쌓기
규칙표 장치
메모리 장치
폰 노이만
튜링
재료
04 소프트웨어, 지혜로 짓는 세계
4.1 그 도구를 다루는 방법
알고리즘
언어
4.2 푸는 솜씨, 알고리즘과 복잡도
풍경
알고리즘 예
비용
현실적
비현실적
P의 경계
NP 클래스
오리무중
P의 바깥
통밥
무작위
불가능
기본기
양자 알고리즘
4.3 담는 그릇, 언어와 논리
간격
번역 사슬
생김새
표현력
자동 번역
실행
언어 정글
언어 중력
두 중력권
기계의 중력
람다의 중력
람다 계산법
논리는 언어의 거울
거울의 효능
논리 거울, 짤 프로그램의 구도 잡기
논리 거울, 짠 프로그램은 무난한가
요약의 그물
데이터의 중력
05 그 도구의 응용
5.1 인간 지능의 확장
고유 지능
지식 표현
지식 생성
지식 검색
팀워크 지능
군중 지능
5.2 인간 본능의 확장
놀이 본능
소통 본능
정보이론
섀넌과 튜링
정보량
복음
인코딩
오류 수정 코드
5.3 인간 현실의 확장
시공간 공유
역발상
암호
열쇠
완벽한 하인
진품 감정
벼랑
06 마치면서
아기의 첫 웃음
참고자료
인용된 시 목록
찾아보기