영종하늘도서관홈페이지

홈 〉 자료검색 〉 인기/신착/추천도서 〉 추천도서

추천도서

추상적 사유의 위대한 힘 : 튜링&괴델
발행연도 - 2010 / 박정일 지음 / 김영사
- 도서관 미추홀도서관
- 자료실 [미추홀]일반자료실1
- 부록 부록없음
- 등록번호 KM0000340624
- ISBN 9788934921783
- 형태 256 p. 23 cm
- 한국십진분류 자연과학 >
- 카테고리분류 과학/기술 > 과학의 이해 > 과학 일반
- 내 책장 담기 상세보기 미리보기

전체도서관 소장정보

소장정보 리스트입니다.
자료실	대출상태	반납예정일	청구기호	등록번호	자료예약	상호대차	책마중	정보출력

책소개

‘지식인마을’ 시리즈 36권. 컴퓨터 시대의 문을 연 인공지능의 선구자, 제2차 세계 대전 연합군의 승리를 이끈 주역, 앨런 튜링. 불완전성 정리라는 판도라의 상자를 열고 인간 이성의 한계를 수학적으로 증명한 괴델. 이들은 과연 어떻게 '튜링 기계', '보편 튜링 기계' , '괴델 수 대응'라는 위대한 착상을 해내며 현대 컴퓨터의 이론적 토대를 구축했을까.

Prologue1 지식여행을 떠나며
Prologue2 이책을 읽기 전에

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

Chapter 2 만남
1. 비운의 천재 수학자, 튜링의 위대한 착상
컴퓨터의 탄생
사과를 베어 문 채 자살한 천재 수학자
에니그마와 봄베
첨단 공학의 그늘
2. 괴델, 수학의 불완전성을 밝히다
참이지만 증명할 수 없는 진리
괴델과 디지털 정보 처리
태아의 자세로 굶어죽은 천재 수학자
괴델과 아인슈타인의 우정
3. 새로운 논리학의 탄생
조리 있게 말해봐!
문장을 기호화하다
술어 논리
프레게의 1차 논리
4. 무한의 세계
어느 것이 더 많지?
잠재 무한과 실제 무한
대각선 방법
실수는 자연수보다 많다?
5. 튜링과 컴퓨터
계산이란 무엇인가?
튜링 기계 속으로
튜링 기계의 예
튜링 기계로 계산하기
튜링 기계와 컴퓨터
6. 보편 튜링 기계와 현대 컴퓨터
괴델 수 대응
괴델 수 대응과 보편 튜링 기계
보편 튜링 기계의 계산
보편 튜링 기계와 현대 컴퓨터
7. 수학의 위기
수학의 위기와 역설
러셀의 역설
거짓말쟁이의 역설
여러 가지 역설
8. 힐베르트의 프로그램
칸토어 낙원의 수학자
형식 체계
메타수학
유한주의 방법과 메타수학
9. 괴델의 불완전성 정리
완전성과 불완전성
불완전성 정리를 쉽게 증명하기
기묘한 자기 지시 문장
불완전성 정리 증명의 얼개
괴델의 증명
골리앗과 다윗의 싸움
괴델의 불완전성 정리는 힐베르트 프로그램을 죽였는가?
10. 튜링과 결정 문제
힐베르트의 결정문제
대각선 방법 버전 2
멈춤 문제
멈춤 문제 해결 불가능성
1차 논리의 결정 불가능성
11. 기계는 생각할 수 있는가?
사람이 기계라면
심신일원론과 심신이원론
강한 인공 지능주의와 약한 인공 지능주의
튜링 테스트
튜링의 반박
기계는 생각할 수 있는가?

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

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

Epilogue
1 지식인 지도
2 지식인 연보
3 깊이 읽기
4 찾아보기

서가브라우징