힐베르트의 제10문제 해결에 기여한 논리학자 마틴 데이비스가 라이프니츠, 불, 프레게, 칸토어, 힐베르트, 괴델, 튜링 일곱 사람의 생각이 어떻게 이어져 범용 컴퓨터라는 발상에 이르렀는지 설명합니다. 논리를 대수로 표현한 불, 칸토어의 무한, 힐베르트 프로그램과 이를 무너뜨린 괴델의 불완전성 정리, 튜링의 보편 기계가 차례로 등장합니다. 컴퓨터공학의 바탕이 수리논리학이라는 점을 보여 주므로, 불 대수와 논리 회로를 연결하는 탐구로 이어 가기 좋습니다.
이 책으로 독서 기록 쓰기
책 제목·저자를 미리 채워 둔 상태로 시작합니다. 줄거리 대신 읽고 생각이 어디서 바뀌었는지, 더 알아보고 싶은 것이 무엇인지 적어 두면 면접 답변과 독서활동의 재료가 됩니다. 다 쓰고 피드백을 요청하면 송쌤이 읽고 답해 드려요.
독서 기록 쓰기이과 추천 도서
수학
- 5(반드시 알아야 할 50) 위대한 수학토니 크릴리 지음, 김성훈 옮김
- 6(이야기로 아주 쉽게 배우는) 대수학더글라스 다우닝 지음, 이정국 옮김
- 7(현대 수학의 아버지) 힐베르트콘스탄스 리드 지음, 이일해 옮김
- 8문명, 수학의 필하모니김홍종 지음
- 9문명과 수학리처드 만키에비츠 지음, 이상원 옮김
- 10미적분학 갤러리뉴턴에서 르베그까지 위대한 수학자들이 들려주는 미적분 이야기윌리엄 던햄 지음, 권혜승 옮김
- 11수학, 문명을 지배하다모리스 클라인 지음, 박영훈 옮김
- 12수학이 살아야 나라가 산다고다이라 구니히코 지음, 김성숙·김형보 편역
- 13수학자, 컴퓨터를 만들다마틴 데이비스 지음, 박정일·장영태 옮김
- 14암호의 해석머리를 쓰는 즐거움루돌프 키펜한 지음, 이일우 옮김
- 15에바리스트 갈루아, 한 수학 천재를 위한 레퀴엠마리오 리비오 지음, 심재관 옮김
- 16우리 수학자 모두는 약간 미친 겁니다폴 호프만 지음, 신현용 옮김
- 17통계의 미학최제호 지음
- 45학문의 즐거움히로나카 헤이스케
- 46춤추는 술고래의 수학이야기레오나르드 믈로디노프
- 48아름다움은 왜 진리인가이언 스튜어트