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