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

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

$19.88
저자

마틴데이비스

저명한수학자이자논리학자인에밀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

추천사

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

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

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