HOME > 상세정보

상세정보

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

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

자료유형
단행본
개인저자
Davis, Martin, 1928- 박정일, 역 장영태, 역
서명 / 저자사항
(라이프 니츠에서 튜링까지) 수학자, 컴퓨터를 만들다 / 마틴 데이비스 지음 ; 박정일, 장영태 옮김
발행사항
서울 :   지식의풍경,   2005  
형태사항
368 p. : 삽화 ; 23 cm
원표제
The universal computer : the road from Leibniz to Turing
ISBN
8989047161
서지주기
참고문헌(p. 329-340)과 색인수록
일반주제명
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. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/교육보존(보건)/ 청구기호 004.09 2005 등록번호 141053883 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 중앙도서관/제2자료실(3층)/ 청구기호 004.09 2005 등록번호 111407247 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 3 소장처 중앙도서관/제2자료실(3층)/ 청구기호 004.09 2005 등록번호 111407248 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 4 소장처 중앙도서관/제2자료실(3층)/ 청구기호 004.09 2005 등록번호 111407249 도서상태 대출중 반납예정일 2021-12-28 예약 서비스 M
No. 5 소장처 중앙도서관/제2자료실(3층)/ 청구기호 004.09 2005 등록번호 141042333 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 6 소장처 중앙도서관/제2자료실(3층)/ 청구기호 004.09 2005 등록번호 141053882 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 7 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004.09 2005 등록번호 121109099 도서상태 대출중 반납예정일 2021-07-03 예약 서비스 M
No. 8 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004.09 2005 등록번호 121109100 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 9 소장처 세종학술정보원/과학기술실/ 청구기호 004.09 2005 등록번호 151176722 도서상태 대출가능 반납예정일 예약 서비스
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/교육보존(보건)/ 청구기호 004.09 2005 등록번호 141053883 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 중앙도서관/제2자료실(3층)/ 청구기호 004.09 2005 등록번호 111407247 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 3 소장처 중앙도서관/제2자료실(3층)/ 청구기호 004.09 2005 등록번호 111407248 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 4 소장처 중앙도서관/제2자료실(3층)/ 청구기호 004.09 2005 등록번호 111407249 도서상태 대출중 반납예정일 2021-12-28 예약 서비스 M
No. 5 소장처 중앙도서관/제2자료실(3층)/ 청구기호 004.09 2005 등록번호 141042333 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 6 소장처 중앙도서관/제2자료실(3층)/ 청구기호 004.09 2005 등록번호 141053882 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004.09 2005 등록번호 121109099 도서상태 대출중 반납예정일 2021-07-03 예약 서비스 M
No. 2 소장처 과학도서관/Sci-Info(1층서고)/ 청구기호 004.09 2005 등록번호 121109100 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 세종학술정보원/과학기술실/ 청구기호 004.09 2005 등록번호 151176722 도서상태 대출가능 반납예정일 예약 서비스

컨텐츠정보

책소개

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

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

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


정보제공 : Aladin

저자소개

마틴 데이비스(지은이)

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

박정일(옮긴이)

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

장영태(옮긴이)

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

정보제공 : Aladin

목차


목차
서문 = 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


관련분야 신착자료

김종원 (2020)