오늘날 우리는 컴퓨터라 부른다 (라이프니츠부터 튜링까지, 생각하는 기계의 씨앗을 뿌린 사람들)

오늘날 우리는 컴퓨터라 부른다 (라이프니츠부터 튜링까지, 생각하는 기계의 씨앗을 뿌린 사람들)

$22.14
Description
마침내 그들의 꿈은 현실이 됐다
어제와 오늘, 미래를 가로지르며 컴퓨터라는 성을 쌓은 300년에 걸친 여정

컴퓨터와 수학이 어디선가 연결된다고 누구나 어렴풋이 예상은 할 것이다. 하지만 초기 컴퓨터의 명령어들은 너무나 간단하여 수학과 어떻게 연결되는지 알기 어렵다. 이 책은 그런 수학적 발견이 탄생하기 전으로 돌아가서, 현대 컴퓨터의 근간을 이루는 아이디어와 그들이 처했던 삶의 배경을 보여 준다.
17세기부터 20세기까지 약 300년에 걸친 눈부신 혁신자들의 삶은 각자 달랐지만, 그들은 모두 인간이 생각하는 방식의 근원을 찾고자 했다. 각각의 공헌은 촘촘하게 지식의 기반을 만들었고 범용 디지털 컴퓨터를 가능케 했다. 오늘날 컴퓨터 기술이 눈부신 속도로 발전하고 사람들은 공학 기술의 놀라운 성취에 감탄하지만, 이 모든 걸 가능케 한 사람들은 쉽게 간과하곤 한다. 이 책은 그들에 대한 이야기다.
저자

마틴 데이비스

저명한 수학자이자 논리학자인 에밀 L. 포스트 밑에서 수학했고 알론조 처치의 지도를 받아 1950년에 프린스턴 대학교에서 박사 학위를 받았다. 60년이 넘는 기간 동안 컴퓨터 과학과 논리학의 관계에 대해 연구했으며 뉴욕 대학교에서 30년간 재직하며 컴퓨터 과학과를 설립하는 데 공헌했다.

목차

옮긴이의 말
제3판 서문
제2판 서문
서문
서론

1장: 놀라운 꿈을 꾼 라이프니츠
라이프니츠의 놀라운 생각
파리에서
하노버
범용의 문자 체계

2장: 논리를 수학으로 바꾼 천재 불
힘들었던 불의 삶
불의 논리 대수학
불과 라이프니츠의 꿈

3장: 논리의 표현을 완성한 프레게
프레게의 개념 표기법
정규화된 문법을 만든 프레게
버트런드 러셀의 편지가 그리도 절망적이었던 이유
프레게와 언어의 철학
프레게와 라이프니츠의 꿈

4장: 무한을 탐험한 칸토어
공학자 혹은 수학자
서로 다른 크기의 무한 집합들
무한한 수를 향한 칸토어의 탐구
대각선 논법
우울증과 비극
결정적인 전투?
부록: 칸토어와 크로네커

5장: 완전한 알고리즘을 꿈꾼 힐베르트
힐베르트의 초기 업적
새로운 한 세기를 향하여
무한을 둘러싼 싸움
메타수학
파국

6장: 완전한 계산의 꿈을 뒤흔든 괴델
괴델의 박사 학위 논문
결정불가능 명제들
컴퓨터 프로그래머 쿠르트 괴델
쾨니히스베르크 학술회의
사랑과 혼란
1930년대 프린스턴에서 수학을 둘러싸고 벌어진 일들
빈으로의 회귀
힐베르트의 사상
불가사의한 인물의 슬픈 마지막
부록: 괴델의 불완전 명제

7장: 범용 컴퓨터를 생각해 낸 튜링
대영 제국의 아이
힐베르트의 결정 문제
튜링이 분석한 계산의 과정
튜링 기계의 동작
칸토어의 대각선 논법을 적용한 튜링
해결할 수 없는 문제
튜링의 범용 기계
프린스턴에서의 앨런 튜링
앨런 튜링의 전쟁

8장: 최초의 디지털 범용 컴퓨터
누가 컴퓨터를 발명했나?
존 폰 노이만과 무어 공과 대학
앨런 튜링의 에이스(ACE)
에커트, 폰 노이만, 그리고 튜링
감사해야 할 국가가 영웅을 대접한 방식

9장 : 라이프니츠의 꿈을 넘어
엘리자, 왓슨, 그리고 딥 블루
바둑을 두는 컴퓨터
컴퓨터, 두뇌, 마음

맺음말
더 읽을거리
참고 자료
찾아보기

출판사 서평

책속에서

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

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

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

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

추천사

코딩하는인공지능이인간개발자의일까지빼앗을까?이책은오늘날의컴퓨터를만드는데초석을닦은선구자들의이야기를통해세상이어떻게변해도살아남을수있는인간의가장강력한능력에대해서설명합니다.인공지능시대에어떻게살아남을지고민중인젊은이들에게일독을권합니다.
-임정욱(중소벤처기업부창업벤처혁신실장)

이책은고고학발굴현장에서찾은깜짝놀랄만한보물과같습니다.조심스럽게상자를열고붓으로흙을털어내면여러개의발이달린납작한직사각형과커다란은색정사각형,고속도로처럼이리저리뻗어있는선이드러나고그사이로희미하게글자가보입니다.라이프니츠,불,프레게,칸토어,힐베르트,괴델…그리고튜링.아!드디어이장치의탄생에기여했던눈부시게아름다운천재들의이야기를만날수있는순간입니다!
-박해선(『혼자공부하는머신러닝+딥러닝』저자)

다른사람을이해하기위해서그사람의과거와왜그런행동과생각을하게되었는지를알아야하는것처럼,인공지능의행동방식을이해하려면그내부작동원리를이해해야만합니다.그러한작동원리에대한이해를구축한뒤에야비로소인공지능과제대로소통하고,인공지능을제대로활용할수있을것입니다.이책은매우추상적으로변해버린'컴퓨터'라는개념을과거부터현대까지쉽게이해할수있는기회를제공합니다.
-박찬성(『실전시계열분석』역자)