통합검색
로그인
회원가입
추천도서
-
-
추상적 사유의 위대한 힘 : 튜링&괴델
발행연도 - 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 찾아보기
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 찾아보기
아마추어 과학자
2003 / 존 말론 지음 ; 홍수연 옮김 / 생각의나무
세상의 비밀을 밝힌 과학자들 : 원자에서 우주까지, 세상 모든 것을 탐구하다
2022 / 지음: 박민규 / 빈빈책방
세상의 비밀을 밝힌 과학자들 : 원자에서 우주까지, 세상 모든 것을 탐구하다
2022 / 지음: 박민규 / 빈빈책방
인물 과학사 : 과학사학자 박성래의 인물기행. 1, 한국의 과학자들
2011 / 박성래 지음 / 책과함께
인물 과학사 : 과학사학자 박성래의 인물기행. 1, 한국의 과학자들
2011 / 박성래 지음 / 책과함께
인물 과학사 : 과학사학자 박성래의 인물기행. 2, 세계의 과학자들
2011 / 박성래 지음 / 책과함께
인물 과학사 : 과학사학자 박성래의 인물기행. 2, 세계의 과학자들
2011 / 박성래 지음 / 책과함께
추상적 사유의 위대한 힘 : 튜링&괴델
2010 / 박정일 지음 / 김영사
우리는 어떻게 과학자가 되었는가
2004 / 존 브록만 엮음 ; 이한음 옮김 / 사이언스북스
세계를 이끄는 한국의 최고 과학자들 : 세계적인 한국 과학자 31인은 이렇게 만들어졌다
2009 / 오현석, 최지영, 최윤미, 권귀현 지음 / 서울대학교출판부
뉴턴의 비밀노트 : 아이작 뉴턴의 삶, 시대 그리고 발견들
2012 / 조엘 레비 지음 ; 정기영 ; 김혁 ; 이은주 옮김 / 씨실과날실
뉴턴의 비밀노트 : 아이작 뉴턴의 삶, 시대 그리고 발견들
2012 / 조엘 레비 지음 ; 정기영 ; 김혁 ; 이은주 옮김 / 씨실과날실
다윈의 비밀노트 : 찰스 다윈의 삶, 시대 그리고 발견들
2012 / 조나단 클레멘츠 지음 ; 조혜원 ; 정기영 ; 최섭 옮김 / 씨실과날실
다윈의 비밀노트 : 찰스 다윈의 삶, 시대 그리고 발견들
2012 / 조나단 클레멘츠 지음 ; 조혜원 ; 정기영 ; 최섭 옮김 / 씨실과날실
교과서를 만든 과학자들
2009 / 손영운 지음 ; 원혜진 그림 / 글담
인간은 어떻게 서로를 공감하는가 : 거울뉴런과 뇌 공감력의 메커니즘
2018 / 지음: 크리스티안 케이서스 ; [공]옮김: 고은미 ; 김잔디 / 바다출판사
기억의 비밀 : 정신부터 분자까지
2016 / 에릭 캔델, 래리 스콰이어 지음 ; 전대호 옮김 / 해나무
괴델, 에셔, 바흐 : 영원한 황금 노끈
2017 / 지음: 더글러스 호프스태터 ; 옮김: 박여성, 안병서 / 까치
장용영 : 정조가 만든 조선의 최강 군대
2018 / 지은이: 김준혁 / 더봄
로지코믹스 : 버트런드 러셀의 삶을 통해 보는 수학의 원리
2011 / 아포스톨로스 독시아디스, 크리스토스 H. 파파디미트리우 글 ; 알레코스 파파다토스, 애니 디 도나 그림 ; 전대호 옮김 / 랜덤하우스코리아
기억을 찾아서 : 뇌과학의 살아있는 역사 에릭 캔델 자서전
2014 / 에릭 캔델 지음 ; 전대호 옮김 / RHK
제인 구달 & 루이스 리키 : 인간과 유인원, 경계에서 만나다
2008 / 진주현 지음 / 김영사
세상을 바꾼 방정식 이야기
2014 / 다나 매캔지 지음 ; 오채환, 이상욱, 이장주 [공]옮김 / 사람의무늬
가장 빨리~ 외워지는 한자책
2007 / 이재황 지음 / NEWRUN
돈버는 집짓기 : 독한 건축주들의 절대 손해 안 보는 노하우
2018 / 지은이: 서동원 / 비앤컴즈
하룻밤에 읽는 과학사 : 불의 이용부터 나노 테크놀로지까지 인류 과학의 역사를 한눈에!
2014 / 하시모토 히로시 지음 ; 오근영 옮김 / RHK
당신에게 노벨상을 수여합니다. 1-3
2014 / 노벨재단 엮음 / 바다출판사
(못 말리는)과학 방송국 : 정완상교수의 신나는 과학사 이야기. 1-7
2008 / 정완상 글 ; 임정호 그림 / 살림어린이
(인류 문명과 함께 보는)과학의 역사
2020 / 지음: 곽영직 / 세창출판사
컨버전스 : 현대 과학사에서 일어난 가장 위대한 지적 전환
2018 / 지음: 피터 왓슨, 옮김: 이광일 / 책과함께
통념과 상식을 거스르는 과학사: 뉴턴에서 멘델까지, 과학을 둘러싼 역사적 오해들
2020 / 엮음: 로널드 L. 넘버스, 코스타스 캄푸러키스, 옮김: 김무준 / 글항아리사이언스
문제적 과학책: 문과형 뇌를 위한 과학적 사고의 힘
2016 / 지음: 수잔 와이즈 바우어; 옮김: 김승진 / 윌북
우리가 과학을 사랑하는 법
2019 / 지음: 곽재식 ; 그림: 여치 / 위즈덤하우스
과학자의 관찰 노트 : 자연을 관찰하고 기록하는 12가지 방법
2013 / 외 지음: 에드워드 O. 윌슨 ; 엮음: 마이클 R. 캔필드 ; 옮김: 김병순 / 휴머니스트
조선시대 과학의 순교자 : 시대를 앞선 통찰로 불운하게 생을 마감했던 우리 과학자들
2018 / 지음: 이종호 / 사과나무
과학사 대논쟁 10가지 : 과학사의 흐름을 바꾼 열 가지 이야기
2019 / 지음: 핼 헬먼 ; 옮김: 이충호 / 가람기획
250만분의 1 : 이정모의 자연사 이야기
2018 / 지음: 이정모 / 나무나무
과학이 빛나는 밤에 : 천체물리학부터 최신 뇌 과학까지, 우주의 역사부터 과학의 역사까지
2014 / 지음: 이준호 / 추수밭
우연과 과학이 만난 놀라운 순간
2019 / 지음: 라파엘 슈브리에 ; 옮김: 손윤지 / 북스힐
과학자들. 2, 모든 것은 빅뱅에서 시작되었다
2018 / 지음: 김재훈 / 휴머니스트
주요 키워드
통계(나이)
| 나이 | 대출건수 |
|---|---|
| 10대 미만 | 0 |
| 10대 | 0 |
| 20대 | 3 |
| 30대 | 0 |
| 40대 | 2 |
| 50대 | 1 |
| 60대 | 0 |
| 70대 | 0 |
| 80대 | 0 |
| 90대 | 0 |
통계(연도)
| 연도 | 대출건수 |
|---|---|
| 2016년 | 0 |
| 2017년 | 0 |
| 2018년 | 1 |
| 2019년 | 0 |
| 2020년 | 1 |
| 2021년 | 0 |
| 2022년 | 2 |
| 2023년 | 0 |
| 2024년 | 0 |
| 2025년 | 0 |