상세정보
Export to Refworks부가기능
(호프스태터가 서문을 쓰고 개정한) 괴델의 증명
상세 프로파일
| 자료유형 | 단행본 |
|---|---|
| 서명/저자사항 | (호프스태터가 서문을 쓰고 개정한) 괴델의 증명/ 어니스트 네이글; 제임스 뉴먼 [공 지음]; 더글러스 호프스태터 [서문]; 곽강제; 고중숙 [옮김]. |
| 개인저자 | Nagel, Ernest Newman, James Roy/ Douglas R. Hofstadter 곽강제 고중숙 |
| 발행사항 | 서울: 승산, 2010. |
| 형태사항 | 174 p.: 삽화; 21 cm. |
| 원서명 | Godel's proof |
| ISBN | 9788961390347 |
| 일반주기 | 부록수록 |
| 서지주기 | 참고문헌(p. 167)과 색인수록 |
| 주제명(개인명) | Godel, Kurt |
| 분류기호 | 410.1 |
| 언어 | 한국어 |
소장정보
- 소장정보
캠퍼스간대출
소재불명도서
자료배달서비스
인쇄
| No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
|---|---|---|---|---|---|---|---|---|
| 1 | M0442332 | 410.1 N147gㄱ | 삼성캠퍼스/종합자료실/ | 대출가능 |
|
|||
| 2 | M0442333 | 410.1 N147gㄱ C2 | 삼성캠퍼스/종합자료실/ | 대출가능 |
|
목차
- 목차
목차 일부
개정판 서문 ... 9
감사의 말 ... 24
옮긴이의 말 ... 25
Ⅰ. 머리말 ... 33
Ⅱ. 정합성 문제 ... 39
Ⅲ. 정합성에 대한 절대적 증명 ... 59
Ⅳ. 형식 논리학의 형식적 연역 체계화 ... 72
Ⅴ. 정합성에 대한 절대적 증명의 성공 사례 ... 81
Ⅵ. 사상 개념과 수학에서의 응용 ... 95
Ⅶ. <B><FONT color...
