정보수학, 쉽게 읽기

서문 — 질문을 따라 읽는 정보수학

이 책의 목표

이 책은 블로그의 아이디어를 쉬운 말로 옮기는 데서 멈추지 않는다. 각 질문을 누가 이어받았고, 어떤 도구가 새로 생겼으며, 지금 어디까지 정리로 확립되었는지를 함께 읽는다. 또 [정리]와 [추측], [유추]와 [휴리스틱]을 분리해, 독자가 흥미로운 비유를 증명된 사실로 오해하지 않게 한다. 처음부터 순서대로 읽어도 좋지만, 아래 경로에서 자신의 목적에 맞는 입구를 골라도 된다.

이 책에는 함께 만들어진 동반 자료가 있다. (i) 주제별 논문 읽기 사다리 5종(대칭·소수·콜라츠·무한·계산가능성), (ii) 열린 문제 상태표, (iii) 인물 전기 7편은 reports/ 폴더에, (iv) 본문의 손 예제를 코드로 재현한 계산 노트북 4개는 notebooks/ 폴더에 있다. 본문을 읽다가 더 나가고 싶어지는 지점 — 특히 각 장 맨 끝의 "깊은 출구" — 에서 이 자료들이 다음 계단이 된다.

읽는 법

각 장의 개념 박스는 새 도구, 예제는 손으로 재현할 계산, 더 깊이는 선택 가능한 상급 안내다. 비유는 반드시 경계 문장까지 읽고, 빠르게 사실관계만 확인하려면 각 장의 무엇이 증명되었고, 무엇이 열려 있는가와 경계 박스를 먼저 보자. 연구 계보 표는 인물의 생애가 아니라 이어받은 질문 → 새 도구 → 정립된 결과 → 다음 질문의 흐름으로 읽는다. 같은 주제라도 조건부·제한형 정리와 일반형 추측은 서로 다른 문장이다.

목적별 학습 경로

두 갈래 안내 — 출구를 쓰는 두 경로

여기에 이번 확장판부터 각 장의 맨 끝에 두 개의 출구 절이 붙었고, 다음 두 경로가 그 출구를 쓴다.

실제 목차

동반 자료