HOME > Detail View

Detail View

(라이프 니츠에서 튜링까지) 수학자, 컴퓨터를 만들다

(라이프 니츠에서 튜링까지) 수학자, 컴퓨터를 만들다 (Loan 115 times)

Material type
단행본
Personal Author
Davis, Martin, 1928- 박정일, 역 장영태, 역
Title Statement
(라이프 니츠에서 튜링까지) 수학자, 컴퓨터를 만들다 / 마틴 데이비스 지음 ; 박정일, 장영태 옮김
Publication, Distribution, etc
서울 :   지식의풍경,   2005  
Physical Medium
368 p. : 삽화 ; 23 cm
Varied Title
The universal computer : the road from Leibniz to Turing
ISBN
8989047161
Bibliography, Etc. Note
참고문헌(p. 329-340)과 색인수록
Subject Added Entry-Topical Term
Electronic digital computers --History
000 00000nam c2200205 c 4500
001 000045160680
005 20170526141621
007 ta
008 050328s2005 ulka b 001c kor
020 ▼a 8989047161 ▼g 03410
040 ▼a 244002 ▼c 244002 ▼d 244002 ▼d 211010 ▼d 211009
041 1 ▼a kor ▼h eng
082 0 4 ▼a 004.09 ▼2 22
085 ▼a 004.09 ▼2 DDCK
090 ▼a 004.09 ▼b 2005
100 1 ▼a Davis, Martin, ▼d 1928-
245 2 0 ▼a (라이프 니츠에서 튜링까지) 수학자, 컴퓨터를 만들다 / ▼d 마틴 데이비스 지음 ; ▼e 박정일, ▼e 장영태 옮김
246 1 9 ▼a The universal computer : ▼b the road from Leibniz to Turing
246 3 9 ▼a Universal computer : ▼b the road from Leibniz to Turing
260 ▼a 서울 : ▼b 지식의풍경, ▼c 2005
300 ▼a 368 p. : ▼b 삽화 ; ▼c 23 cm
504 ▼a 참고문헌(p. 329-340)과 색인수록
650 0 ▼a Electronic digital computers ▼x History
700 1 ▼a 박정일, ▼e▼0 AUTH(211009)129067
700 1 ▼a 장영태, ▼e
900 1 0 ▼a 데이비스, 마틴, ▼e

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Monographs(3F)/ Call Number 004.09 2005 Accession No. 111407247 Availability Available Due Date Make a Reservation Service B M
No. 2 Location Main Library/Monographs(3F)/ Call Number 004.09 2005 Accession No. 111407248 Availability Available Due Date Make a Reservation Service B M
No. 3 Location Main Library/Monographs(3F)/ Call Number 004.09 2005 Accession No. 111407249 Availability Available Due Date Make a Reservation Service B M
No. 4 Location Main Library/Monographs(3F)/ Call Number 004.09 2005 Accession No. 141042333 Availability Available Due Date Make a Reservation Service B M
No. 5 Location Main Library/Monographs(3F)/ Call Number 004.09 2005 Accession No. 141053882 Availability Available Due Date Make a Reservation Service B M
No. 6 Location Main Library/Education Reserves(Health Science)/ Call Number 004.09 2005 Accession No. 141053883 Availability Available Due Date Make a Reservation Service B M
No. 7 Location Science & Engineering Library/Sci-Info(Stacks1)/ Call Number 004.09 2005 Accession No. 121109099 Availability In loan Due Date 2021-07-03 Make a Reservation Service M
No. 8 Location Science & Engineering Library/Sci-Info(Stacks1)/ Call Number 004.09 2005 Accession No. 121109100 Availability Available Due Date Make a Reservation Service B M
No. 9 Location Sejong Academic Information Center/Science & Technology/ Call Number 004.09 2005 Accession No. 151176722 Availability Available Due Date Make a Reservation Service
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Monographs(3F)/ Call Number 004.09 2005 Accession No. 111407247 Availability Available Due Date Make a Reservation Service B M
No. 2 Location Main Library/Monographs(3F)/ Call Number 004.09 2005 Accession No. 111407248 Availability Available Due Date Make a Reservation Service B M
No. 3 Location Main Library/Monographs(3F)/ Call Number 004.09 2005 Accession No. 111407249 Availability Available Due Date Make a Reservation Service B M
No. 4 Location Main Library/Monographs(3F)/ Call Number 004.09 2005 Accession No. 141042333 Availability Available Due Date Make a Reservation Service B M
No. 5 Location Main Library/Monographs(3F)/ Call Number 004.09 2005 Accession No. 141053882 Availability Available Due Date Make a Reservation Service B M
No. 6 Location Main Library/Education Reserves(Health Science)/ Call Number 004.09 2005 Accession No. 141053883 Availability Available Due Date Make a Reservation Service B M
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks1)/ Call Number 004.09 2005 Accession No. 121109099 Availability In loan Due Date 2021-07-03 Make a Reservation Service M
No. 2 Location Science & Engineering Library/Sci-Info(Stacks1)/ Call Number 004.09 2005 Accession No. 121109100 Availability Available Due Date Make a Reservation Service B M
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Sejong Academic Information Center/Science & Technology/ Call Number 004.09 2005 Accession No. 151176722 Availability Available Due Date Make a Reservation Service

Contents information

Book Introduction

컴퓨터는 공학자들의 전유물로 보이지만, 사실 컴퓨터를 상상하고 발전시켜 온 주요한 인물들을 수학자였다. 이 책은 라이프니츠, 불, 힐베르트, 괴델, 튜링 등 위대한 수학자이자 논리학자 7명의 살아온 이야기를 통해 컴퓨터라는 아이디어가 현실이 되기까지의 과정을 그렸다.

라이프니츠는 추론 계산법을 통해 논리 대수의 길을 열었으며, 조지 불은 논리학을 대수적인 방법으로 해명하려 했고, 프레게는 컴퓨터 프로그래밍 언어의 선조인 인공 언어를 발전시켰다. 20세기 초에 '수학의 위기'가 닥치자 힐베르트는 20세기 수학자들을 위한 23개의 난제를 제시하여 도전 의식을 고취했으며, 튜링은 힐베르트가 제안한 결정 문제를 '튜링 기계'를 통해 해결해보인다.

책은 과학자들의 삶에 대해서도 다루었다. 수학 문제를 놓고 경쟁을 벌이던 최고의 학자들의 모습, 오늘날의 컴퓨터의 '아버지'에 해당하나 살아 생전 홀대받고 쓸쓸히 자살한 튜링의 모습 등이다. 저자인 마틴 데이비스 또한 '수학계의 대가 반열'에 들어갈 수 있다는 힐베르트의 열번 째 문제를 푼 수학자이다.


Information Provided By: : Aladin

Author Introduction

마틴 데이비스(지은이)

1950년에 프린스턴 대학교에서 박사학위를 받았다. 저명한 수학자이자 논리학자인 에밀 L. 포스트의 제자였으며 자동 연역 분야를 주로 연구했다. 2005년 현재 뉴욕대학교의 쿠란트연구소의 교수로 재직 중이다. 지은 책으로 <계산 가능성과 해결 불가능성> 등이 있다.

박정일(옮긴이)

서울대학교에서 철학 박사 학위를 받았으며, 현재 숙명 여자대학교 기초교양대학에 재직 중이다. 번역서로는 비트겐슈타인의 『수학의 기초에 관한 고찰』, 『수학자, 컴퓨터를 만들다』, 『비트겐슈타인의 수학의 기초에 관한 강의』 등이 있으며, 저서에는 『추상적 사유의 위대한 힘: 튜링 & 괴델』이 있다.

장영태(옮긴이)

서강대학교 화학공학과를 다녔다.

Information Provided By: : Aladin

Table of Contents


목차
서문 = 6
들어가며 = 9
01 라이프니츠의 꿈 = 11
02 불이 논리를 대수로 표현하다 = 35
03 프레게, 환희에서 절망으로 = 62
04 칸토어, 무한대를 통과하다 = 88
05 구원에 나선 힐베르트 = 119
06 괴델이 힐베르트 프로그램을 뒤엎어 버리다 = 151
07 튜링이 만능 컴퓨터를 상상하다 = 194
08 첫 번째 보편 컴퓨터 만들기 = 244
09 라이프니츠의 꿈을 넘어서 = 274
에필로그 = 287
후주 = 289
옮긴이의 말 = 320
참고 문헌 = 329
주요 인물의 약력 = 341
찾아보기 = 354


New Arrivals Books in Related Fields

김종원 (2020)