추상적 사유의 위대한 힘

추상적 사유의 위대한 힘

 

 

 

 

저자 박정일 출판사 김영사

 

 

 

 

  • 책소개

 

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

 

 

 

  • 목차

 


Chapter 1 초대


컴퓨터의 기원과 수학


세상에서 단추가 가장 많은 기계


2차 세계대전의 산물


지식정보화사회를 열다


산업혁명과 정보혁명


세상에서 가장 강력한 기계


 


Chapter 2 만남


1. 비운의 천재 수학자, 튜링의 위대한 착상


컴퓨터의 탄생


사과를 베어 문 채 자살한 천재 수학자


에니그마와 봄베


첨단 공학의 그늘


 


2. 괴델, 수학의 불완전성을 밝히다


참이지만 증명할 수 없는 진리


괴델과 디지털 정보 처리


태아의 자세로 굶어죽은 천재 수학자


괴델과 아인슈타인의 우정


 


3. 새로운 논리학의 탄생


조리 있게 말해봐


문장을 기호화하다


술어 논리


프레게의 1차 논리


 


4. 무한의 세계


어느 것이 더 많지?


잠재 무한과 실제 무한


대각선 방법


실수는 자연수보다 많다?


 


5. 튜링과 컴퓨터


계산이란 무엇인가?


튜링 기계 속으로


튜링 기계의 예


튜링 기계로 계산하기


튜링 기계와 컴퓨터


 


6. 보편 튜링 기계와 현대 컴퓨터


괴델 수 대응


괴델 수 대응과 보편 튜링 기계


보편 튜링 기계의 계산


보편 튜링 기계와 현대 컴퓨터


 


7. 수학의 위기


수학의 위기와 역설


러셀의 역설


거짓말쟁이의 역설


여러 가지 역설


 


8. 힐베르트의 프로그램


칸토어 낙원의 수학자


형식 체계


메타 수학


유한주의 방법과 메타 수학


 


9. 괴델의 불완전성 정리


완전성과 불완전성


불완전성 정리를 쉽게 증명하기


기묘한 자기 지시 문장


불완전성 정리 증명의 얼개


괴델의 증명


골리앗과 다윗의 싸움


괴델의 불완전성 정리는 힐베르트 프로그램을 죽였는가?


 

 

 

 

자료 출처 : 교보문고