| 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 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 2 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 004.09 2005 | 등록번호 111407247 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 3 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 004.09 2005 | 등록번호 111407248 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 4 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 004.09 2005 | 등록번호 111407249 | 도서상태 대출중 | 반납예정일 2021-12-28 | 예약 | 서비스 |
| No. 5 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 004.09 2005 | 등록번호 141042333 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 6 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 004.09 2005 | 등록번호 141053882 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 7 | 소장처 과학도서관/Sci-Info(1층서고)/ | 청구기호 004.09 2005 | 등록번호 121109099 | 도서상태 대출중 | 반납예정일 2021-07-03 | 예약 | 서비스 |
| No. 8 | 소장처 과학도서관/Sci-Info(1층서고)/ | 청구기호 004.09 2005 | 등록번호 121109100 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 9 | 소장처 세종학술정보원/과학기술실/ | 청구기호 004.09 2005 | 등록번호 151176722 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/교육보존(보건)/ | 청구기호 004.09 2005 | 등록번호 141053883 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 2 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 004.09 2005 | 등록번호 111407247 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 3 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 004.09 2005 | 등록번호 111407248 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 4 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 004.09 2005 | 등록번호 111407249 | 도서상태 대출중 | 반납예정일 2021-12-28 | 예약 | 서비스 |
| No. 5 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 004.09 2005 | 등록번호 141042333 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 6 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 004.09 2005 | 등록번호 141053882 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(1층서고)/ | 청구기호 004.09 2005 | 등록번호 121109099 | 도서상태 대출중 | 반납예정일 2021-07-03 | 예약 | 서비스 |
| No. 2 | 소장처 과학도서관/Sci-Info(1층서고)/ | 청구기호 004.09 2005 | 등록번호 121109100 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 세종학술정보원/과학기술실/ | 청구기호 004.09 2005 | 등록번호 151176722 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
컴퓨터는 공학자들의 전유물로 보이지만, 사실 컴퓨터를 상상하고 발전시켜 온 주요한 인물들을 수학자였다. 이 책은 라이프니츠, 불, 힐베르트, 괴델, 튜링 등 위대한 수학자이자 논리학자 7명의 살아온 이야기를 통해 컴퓨터라는 아이디어가 현실이 되기까지의 과정을 그렸다.
라이프니츠는 추론 계산법을 통해 논리 대수의 길을 열었으며, 조지 불은 논리학을 대수적인 방법으로 해명하려 했고, 프레게는 컴퓨터 프로그래밍 언어의 선조인 인공 언어를 발전시켰다. 20세기 초에 '수학의 위기'가 닥치자 힐베르트는 20세기 수학자들을 위한 23개의 난제를 제시하여 도전 의식을 고취했으며, 튜링은 힐베르트가 제안한 결정 문제를 '튜링 기계'를 통해 해결해보인다.
책은 과학자들의 삶에 대해서도 다루었다. 수학 문제를 놓고 경쟁을 벌이던 최고의 학자들의 모습, 오늘날의 컴퓨터의 '아버지'에 해당하나 살아 생전 홀대받고 쓸쓸히 자살한 튜링의 모습 등이다. 저자인 마틴 데이비스 또한 '수학계의 대가 반열'에 들어갈 수 있다는 힐베르트의 열번 째 문제를 푼 수학자이다.
정보제공 :
저자소개
마틴 데이비스(지은이)
1950년에 프린스턴 대학교에서 박사학위를 받았다. 저명한 수학자이자 논리학자인 에밀 L. 포스트의 제자였으며 자동 연역 분야를 주로 연구했다. 2005년 현재 뉴욕대학교의 쿠란트연구소의 교수로 재직 중이다. 지은 책으로 <계산 가능성과 해결 불가능성> 등이 있다.
박정일(옮긴이)
서울대학교에서 철학 박사 학위를 받았으며, 현재 숙명 여자대학교 기초교양대학에 재직 중이다. 번역서로는 비트겐슈타인의 『수학의 기초에 관한 고찰』, 『수학자, 컴퓨터를 만들다』, 『비트겐슈타인의 수학의 기초에 관한 강의』 등이 있으며, 저서에는 『추상적 사유의 위대한 힘: 튜링 & 괴델』이 있다.
장영태(옮긴이)
서강대학교 화학공학과를 다녔다.
목차
목차 서문 = 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