장바구니 담기 close

장바구니에 상품을 담았습니다.

튜링 & 괴델 : 추상적 사유의 위대한 힘

튜링 & 괴델 : 추상적 사유의 위대한 힘

  • 박정일
  • |
  • 김영사
  • |
  • 2010-11-18 출간
  • |
  • 256페이지
  • |
  • 148 X 224 X 20 mm /472g
  • |
  • ISBN 9788934921783
★★★★★ 평점(10/10) | 리뷰(2)
판매가

13,800원

즉시할인가

12,420

배송비

2,300원

(제주/도서산간 배송 추가비용:3,000원)

수량
+ -
총주문금액
12,420

이 상품은 품절된 상품입니다

※ 스프링제본 상품은 반품/교환/환불이 불가능하므로 신중하게 선택하여 주시기 바랍니다.

출판사서평

정보혁명 시대를 개척하고 인공지능의 서막을 연 위대한 수학자들의 치열한 삶과 사상의 궤적과 그 속에서 탄생한 현대 컴퓨터의 이야기가 흥미진진하게 펼쳐진다!

컴퓨터 시대의 문을 연 인공지능의 선구자, 제2차 세계 대전 연합군의 승리를 이끈 주역, 앨런 튜링. 불완전성 정리라는 판도라의 상자를 열고 인간 이성의 한계를 수학적으로 증명한 괴델. 이들은 과연 어떻게 '튜링 기계', '보편 튜링 기계' , '괴델 수 대응'라는 위대한 착상을 해내며 현대 컴퓨터의 이론적 토대를 구축했을까? 집합론을 통해 무한의 크기를 비교하고 이를 증명해냄으로써 서양의 철학적 전통에 도전장을 내밀고 ‘불완전성 정리’의 토대를 마련한 칸토어에서 집합론의 패러독스에서 기인한 수학의 위기를 극복하고 수학의 완전성을 증명하려 했던 힐베르트의 야심찬 계획 힐베르트 프로젝트와 수학의 절대적 확실성과 타당성의 토대를 여지없이 무너뜨린 괴델의 불완전성 정리, '기계도 생각할 수 있는가'라는 문제의식에서 출발해 인지과학, 인공지능을 연구하는 사람들에게 끊임없는 과제를 부여하는 튜링 테스트까지. 선구자적인 통찰을 통해 현대 컴퓨터와 인공지능의 초석을 마련한 천재적 수학자들의 발자취가 한눈에 펼쳐진다.

목차

Chapter 1 초대
컴퓨터의 기원과 수학
세상에서 단추가 가장 많은 기계
2차 세계대전의 산물
지식정보화사회를 열다
산업혁명과 정보혁명
세상에서 가장 강력한 기계

Chapter 2 만남
1. 비운의 천재 수학자, 튜링의 위대한 착상
컴퓨터의 탄생
사과를 베어 문 채 자살한 천재 수학자
에니그마와 봄베
첨단 공학의 그늘

2. 괴델, 수학의 불완전성을 밝히다
참이지만 증명할 수 없는 진리
괴델과 디지털 정보 처리
태아의 자세로 굶어죽은 천재 수학자
괴델과 아인슈타인의 우정

3. 새로운 논리학의 탄생
조리 있게 말해봐
문장을 기호화하다
술어 논리
프레게의 1차 논리

4. 무한의 세계
어느 것이 더 많지?
잠재 무한과 실제 무한
대각선 방법
실수는 자연수보다 많다?

5. 튜링과 컴퓨터
계산이란 무엇인가?
튜링 기계 속으로
튜링 기계의 예
튜링 기계로 계산하기
튜링 기계와 컴퓨터

6. 보편 튜링 기계와 현대 컴퓨터
괴델 수 대응
괴델 수 대응과 보편 튜링 기계
보편 튜링 기계의 계산
보편 튜링 기계와 현대 컴퓨터

7. 수학의 위기
수학의 위기와 역설
러셀의 역설
거짓말쟁이의 역설
여러 가지 역설

8. 힐베르트의 프로그램
칸토어 낙원의 수학자
형식 체계
메타 수학
유한주의 방법과 메타 수학

9. 괴델의 불완전성 정리
완전성과 불완전성
불완전성 정리를 쉽게 증명하기
기묘한 자기 지시 문장
불완전성 정리 증명의 얼개
괴델의 증명
골리앗과 다윗의 싸움
괴델의 불완전성 정리는 힐베르트 프로그램을 죽였는가?

10. 튜링과 결정 문제
힐베르트의 결정문제
대각선 방법 버전 2
멈춤 문제
멈춤 문제 해결 불가능성
1차 논리의 결정 불가능성

11. 기계는 생각할 수 있는가?
사람이 기계라면
심신일원론과 심신이원론
강한 인공 지능주의와 약한 인공 지능주의
튜링 테스트
튜링의 반박
기계는 생각할 수 있는가?

Chapter 3 대화
힐베르트의 프로그램 vs. 괴델의 불완전성 정리

Chapter 4 이슈
튜링 테스트는 생각하는지 여부를 판단하는 기준일 수 있는가?
불완전성 정리는 기계가 생각할 수 있다는 것을 보여줄 수 있는가?

저자소개

저자 박정일은 서울대학교 수학과를 졸업하고 철학과 대학원에서 박사학위를 받았다. 서울대학교 철학사상연구소 선임연구원, 연세대학교 철학연구소 선임연구원, 세종대학교 초빙교수를 지냈으며, 현재 숙명여자대학교 교양교육원 교수로 재직 중이다. ‘의사소통’과 ‘실천’을 화두로 철학을 하고 있으며, 주로 비트겐슈타인 철학과 논리철학, 수학철학을 연구하고 있다. 역서로는 《수학의 기초에 관한 고찰》《괴델》《수학자, 컴퓨터를 만들다》 등이 있고, 논문으로는 〈열린 해석과 타르스키의 진리정의〉〈비트겐슈타인은 왜 《논고》를 포기했는가?〉〈비트겐슈타인과 유아론〉〈비트겐슈타인과 모순〉 등이 있다.

도서소개

『추상적 사유의 위대한 힘』은 정보혁명 시대를 개척하고 인공지능의 이론적 토대를 구축한 위대한 수학자들의 치열한 삶과 사상의 궤적을 탐색한 책이다. 천재 수학자들이 이뤄낸 수학의 논리적 발전 과정과 그 속에서 탄생한 현대 컴퓨터의 이야기가 흥미진진하게 펼쳐진다!

교환 및 환불안내

도서교환 및 환불
  • ㆍ배송기간은 평일 기준 1~3일 정도 소요됩니다.(스프링 분철은 1일 정도 시간이 더 소요됩니다.)
  • ㆍ상품불량 및 오배송등의 이유로 반품하실 경우, 반품배송비는 무료입니다.
  • ㆍ고객님의 변심에 의한 반품,환불,교환시 택배비는 본인 부담입니다.
  • ㆍ상담원과의 상담없이 교환 및 반품으로 반송된 물품은 책임지지 않습니다.
  • ㆍ이미 발송된 상품의 취소 및 반품, 교환요청시 배송비가 발생할 수 있습니다.
  • ㆍ반품신청시 반송된 상품의 수령후 환불처리됩니다.(카드사 사정에 따라 카드취소는 시일이 3~5일이 소요될 수 있습니다.)
  • ㆍ주문하신 상품의 반품,교환은 상품수령일로 부터 7일이내에 신청하실 수 있습니다.
  • ㆍ상품이 훼손된 경우 반품 및 교환,환불이 불가능합니다.
  • ㆍ반품/교환시 고객님 귀책사유로 인해 수거가 지연될 경우에는 반품이 제한될 수 있습니다.
  • ㆍ스프링제본 상품은 교환 및 환불이 불가능 합니다.
  • ㆍ군부대(사서함) 및 해외배송은 불가능합니다.
  • ㆍ오후 3시 이후 상담원과 통화되지 않은 취소건에 대해서는 고객 반품비용이 발생할 수 있습니다.
반품안내
  • 마이페이지 > 나의상담 > 1 : 1 문의하기 게시판 또는 고객센터 1800-7327
교환/반품주소
  • 경기도 파주시 문발로 211 1층 / (주)북채널 / 전화 : 1800-7327
  • 택배안내 : CJ대한통운(1588-1255)
  • 고객님 변심으로 인한 교환 또는 반품시 왕복 배송비 5,000원을 부담하셔야 하며, 제품 불량 또는 오 배송시에는 전액을 당사에서부담 합니다.