자료유형 | 단행본 |
---|---|
서명/저자사항 | 괴델/ 존 캐스티(Casti), 베르너 드파울리(DePauli) 지음; 박정일 옮김. |
개인저자 | Godel, Kurt Casti, John L./ DePauli, Werner/ 박정일 |
발행사항 | 서울: 몸과마음, 2002. |
형태사항 | 256 p.: 삽화; 21 cm. |
원서명 | Godel : a life of logic |
ISBN | 8989418194 |
서지주기 | 참고문헌 및 색인 포함 |
주제명(개인명) | Godel, Kurt |
비통제주제어 | 불완전성 정리 |
분류기호 | 410.99 |
언어 | 한국어 |
캠퍼스간대출 소재불명도서 자료배달서비스 인쇄
No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
---|---|---|---|---|---|---|---|---|
1 | M0230388 | 410.99 G581cㅂ | 삼성캠퍼스/종합자료실/ | 대출가능 |
들어가는 말 ... 9
1. 아리스토텔레스 그 이후 ... 11
2. 영원한 불완전성 ... 25
3. 결정 불가능성 ... 57
4. 청년 괴델 ... 73
5. 프린스턴에서의 삶 ... 99
6. 기계적 절차와 수학 ... 121
7. 생각하는 기계와 불완전성의 논리 ... 149
8. 거듭되는 시간 ... 185
9. 복잡성의 복잡성 ... 201
1...