소득공제
수학자, 컴퓨터를 만들다
라이프니츠에서 튜링까지
- 베스트
- 자연과학 top100 2주
이미 소장하고 있다면 판매해 보세요.
- 해외배송 가능?
- 문화비소득공제 가능
책소개
목차
|
서문
들어가며 01 라이프니츠의 꿈 02 불이 논리를 대수로 표현하다 03 프레게, 환희에서 절망으로 04 칸토어, 무한대를 통과하다 05 구원에 나선 힐베르트 06 괴델이 힐베르트 프로그램을 뒤엎어 버리다 07 튜링이 만능 컴퓨터를 상상하다 08 첫 번째 보편 컴퓨터 만들기 09 라이프니츠의 꿈을 넘어서 에필로그 후주 옮긴이의 말 참고 문헌 주요 인물의 약력 찾아보기 |
저자 소개
저자 : 마틴 데이비스
저명한 수학자이자 논리학자인 에밀 L. 포스트 밑에서 수학했고 1950년에 알론조 처치의 지도 아래 프린스턴 대학교에서 박사 학위를 받았다. 저서 『계산 가능성과 해결 불가능성(1958년)』은 "컴퓨터 과학 분야에서 몇 안되는 진정한 고전 중 하나"라는 찬사를 받고 있다.
품목정보
- 발행일
- 2005년 02월 22일
- 쪽수, 무게, 크기
- 368쪽 | 545g | 크기확인중
- ISBN13
- 9788989047162
