현대 컴퓨터의 기반을 다진 선구자들에게 배우는 '추상적 사고의 힘' 이 책이 던지는 중요한 메시지는 '추상적(abstract) 사고의 힘'이다. 저자의 말처럼 나는 프로그래머에게 가장 중요한 덕목은 바로 추상적으로 사고하는 능력이라고 생각한다. 컴퓨터 분야는 아주 빠르게 변한다. 프로그래밍 언어가 바뀌고 더 빠른 컴퓨터가 나와도 추상적 사고는 아리스토텔레스 시대 이전까지 거슬러 올라가는 인간의 기본적인 능력이다. 간단한 문제는 하루 이틀 프로그래밍으로 해결할 수 있다. 그러나 정말 복잡한 문제는 때로 의자에 앉아 몇 날 며칠 생각만 해야 어렴풋이 해결책을 상상해 낼 수 있다. 그래서 회사에서 가장 경험 많고 가치 있는 프로그래머는 '집중해서 생각하는' 사람들이다.

'추상적 사고'는 단지 프로그래머에게만 해당하는 것이 아니다. 이 책에서 소개하듯 컴퓨터의 시작은 사람의 논리적 사고 과정을 기호로 표현한 것이다. 일상에서 굳이 인지하지 않더라도 우리는 어떤 상황이 왔을 때 논리를 계산해 최적의 결과를 예측하고 행동한다. 이 책의 아이디어들은 우리의 논리적 사고 과정에 정확하게 무엇이 필요한지 보여 준다. 예를 들어 프레게가 단지 몇 개의 기호만으로 사람의 사고 과정을 모두 포괄하는 문법을 만들어 낸 것처럼 말이다. 컴퓨터를 만들기 위해서는 사람의 논리적인 사고 규칙을 정확하게 찾아내야 했다. 이제는 거꾸로 사람들이 그 규칙을 이해해 일상에서 최선으로 문제를 해결하는 '컴퓨팅 사고(computational thinking)' 능력이 중요한 시대다.
---「옮긴이의 말」중에서

컴퓨터의 이러한 범용성이 1936년 튜링이 출간한 논문의 아이디어에서 비롯된 것임을 지금은 많은 사람이 잘 알고 있다. 1980년대에 내가 처음 이러한 주제로 연구를 시작했을 때는 현대식 컴퓨터의 첫 개발에 누구의 역할이 컸는지를 두고 말이 많았지만 그때만 해도 튜링의 이름은 언급되지 않았다.
--- p.xv

컴퓨터는 1950년대 큰 방을 가득 채우는 거대한 기계 장치에서 오늘날 다양한 작업을 수행하는 작고 강력한 기기로 발전했지만 기본적인 논리는 여전히 변하지 않았다. 이러한 논리적 개념은 수세기에 걸쳐 천재적인 생각을 한 몇 명에 의해 만들어졌다.