본문바로가기
탑메뉴
처음방문이세요?
로그인
회원가입
My Library
메뉴
메뉴열기
로그인
회원가입
처음방문이세요?
주 이용 도서관 설정
내서재
야간이용 신청목록
야간이용 신청조회
상호이용 신청목록
상호이용 신청조회
검색
검색
기본검색
기본검색
전체(초록·목차·본문포함)
자료명
저자
발행자
키워드
청구기호
기본검색
전체(초록·목차·본문포함)
자료명
저자
발행자
키워드
청구기호
다국어입력
언어
한글고어
중국간체
중국번체
히라가나
가타카나
프랑스어
스페인어
독일어
러시아문자
그리스어
라틴문자
라틴확장-A
라틴확장-B
로마자
아르메니아어
티아나어
인도어
아랍어
베트남
신할라어
크메르어
타이어
라오어
티베트어
몽골어
노르웨이어
체코어
폴란드어
터키어
포르투칼어
키릴문자
히브리어
벵골어
이란어
기호
괄호기호
학술기호
기술기호
단위기호
일반기호
첨자
일반 구두점
화폐 기호
글자꼴 기호
여러 가지 수
도형 기호
수학연산자
수학연산자보충
닫기
상세
검색
외부기관
검색
상세검색
다국어입력
언어
한글고어
중국간체
중국번체
히라가나
가타카나
프랑스어
스페인어
독일어
러시아문자
그리스어
라틴문자
라틴확장-A
라틴확장-B
로마자
아르메니아어
티아나어
인도어
아랍어
베트남
신할라어
크메르어
타이어
라오어
티베트어
몽골어
노르웨이어
체코어
폴란드어
터키어
포르투칼어
키릴문자
히브리어
벵골어
이란어
기호
괄호기호
학술기호
기술기호
단위기호
일반기호
첨자
일반 구두점
화폐 기호
글자꼴 기호
여러 가지 수
도형 기호
수학연산자
수학연산자보충
닫기
도움말
상세검색
자료구분
전체
도서자료
도서자료
전체
일반도서
E-BOOK
고서
세미나자료
웹자료
학위논문
학위논문
전체
학위논문
연속간행물·학술기사
연속간행물·학술기사
전체
국내기사
국외기사
학술지·잡지
신문
전자저널
멀티미디어
멀티미디어
전체
오디오자료
전자매체
마이크로폼자료
지도/기타자료
동영상
동영상
전체
동영상자료
국회자료
국회자료
전체
외국법률번역DB
국회회의록
국회의안정보
특화자료
특화자료
전체
표·그림DB
지식공유
국회도서관 서비스 이용에 대한 안내를 해드립니다.
Open API 이용안내
저작물등록 및 이용허락
저작물 이용료에 대한 안내
모바일서비스 이용안내
통합검색 이용안내
신간단행본 안내
야간이용 신청안내
전화번호 안내
닫기
닫기
서명
오늘날 우리는 컴퓨터라 부른다 : 라이프니츠부터 튜링까지, 생각하는 기계의 씨앗을 뿌린 사람들
청구기호
004-23-16
저자
마틴 데이비스 지음
역자
박상민 옮김
발행사항
인사이트
도서요약정보보기
더보기
17세기부터 20세기까지 약 300년에 걸쳐, 인간이 생각하는 방식의 근원을 찾고자 했던 눈부신 혁신자들의 삶에 대한 이야기다. 컴퓨터와 연결되는 수학적 발견이 탄생하기 전으로 돌아가서, 현대 컴퓨터의 근간을 이루는 아이디어와 그들이 처했던 삶의 배경을 보여 준다.
목차보기
더보기
옮긴이의 말
제3판 서문
제2판 서문
서문
서론
1장: 놀라운 꿈을 꾼 라이프니츠
라이프니츠의 놀라운 생각
파리에서
하노버
범용의 문자 체계
2장: 논리를 수학으로 바꾼 천재 불
힘들었던 불의 삶
불의 논리 대수학
불과 라이프니츠의 꿈
3장: 논리의 표현을 완성한 프레게
프레게의 개념 표기법
정규화된 문법을 만든 프레게
버트런드 러셀의 편지가 그리도 절망적이었던 이유
프레게와 언어의 철학
프레게와 라이프니츠의 꿈
4장: 무한을 탐험한 칸토어
공학자 혹은 수학자
서로 다른 크기의 무한 집합들
무한한 수를 향한 칸토어의 탐구
대각선 논법
우울증과 비극
결정적인 전투
부록: 칸토어와 크로네커
5장: 완전한 알고리즘을 꿈꾼 힐베르트
힐베르트의 초기 업적
새로운 한 세기를 향하여
무한을 둘러싼 싸움
메타수학
파국
6장: 완전한 계산의 꿈을 뒤흔든 괴델
괴델의 박사 학위 논문
결정불가능 명제들
컴퓨터 프로그래머 쿠르트 괴델
쾨니히스베르크 학술회의
사랑과 혼란
1930년대 프린스턴에서 수학을 둘러싸고 벌어진 일들
빈으로의 회귀
힐베르트의 사상
불가사의한 인물의 슬픈 마지막
부록: 괴델의 불완전 명제
7장: 범용 컴퓨터를 생각해 낸 튜링
대영 제국의 아이
힐베르트의 결정 문제
튜링이 분석한 계산의 과정
튜링 기계의 동작
칸토어의 대각선 논법을 적용한 튜링
해결할 수 없는 문제
튜링의 범용 기계
프린스턴에서의 앨런 튜링
앨런 튜링의 전쟁
8장: 최초의 디지털 범용 컴퓨터
누가 컴퓨터를 발명했나
존 폰 노이만과 무어 공과 대학
앨런 튜링의 에이스(ACE)
에커트, 폰 노이만, 그리고 튜링
감사해야 할 국가가 영웅을 대접한 방식
9장 : 라이프니츠의 꿈을 넘어
엘리자, 왓슨, 그리고 딥 블루
바둑을 두는 컴퓨터
컴퓨터, 두뇌, 마음
맺음말
더 읽을거리
참고 자료
찾아보기