국방대학교 도서관검색
- Home
- 기능목록
- 검색
-
Marc 보기
MARC 닫기
-
LDR
00714nam a2200217 c 4500
-
001
000000818557
-
005
20120423152530
-
008
101111s2010 ulk 000a kor
-
049
▼l EM0000060247
-
056
▼a 410.1
-
090
▼a 410.1
▼b 네675ㄱ곽 -
245
▼a (호프스태터가 서문을 쓰고 개정한) 괴델의 증명/
▼d 어니스트 네이글,
▼e 제임스 뉴먼 지음;
▼e 곽강제 옮김. -
246
▼a Godel's Proof
-
260
▼a 서울:
▼b 승산,
▼c 2010. -
300
▼a 174 p.;
▼c 22 cm. -
653
▼a 괴델의 증명
▼a 정합성 문제
▼a 정합성
▼a 절대적 증명
▼a 형식논리학
▼a 형식적 연역체계화
▼a 사상개념
▼a 수학응용
▼a 괴델의 수
▼a 상위수학
▼a 산술학화 -
700
▼a 네이글, 어니스트
-
700
▼a 뉴먼, 제임스
-
700
▼a Ernest Nagle
-
700
▼a James R. Newman
-
950
▼b \15000
-
991
▼a 단행본
-
LDR
- 바구니담기
- 내서재 담기
- 내보내기
상세정보
(호프스태터가 서문을 쓰고 개정한) 괴델의 증명
QR코드| 자료유형 : | 단행본 |
|---|---|
| 분류기호 : | 410.1 |
| 서명/저자사항 : | (호프스태터가 서문을 쓰고 개정한) 괴델의 증명/ 어니스트 네이글, 제임스 뉴먼 지음; 곽강제 옮김. |
| 원서명 : | Godel's Proof |
| 발행사항 : | 서울: 승산, 2010. |
| 형태사항 : | 174 p.; 22 cm. |
| 개인저자 : | 네이글, 어니스트 |
| 개인저자 : | 뉴먼, 제임스 |
| 개인저자 : | Ernest Nagle |
| 개인저자 : | James R. Newman |
| 언어 | 한국어 |
예약
- 1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
- 2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
- 3. 기타 문의사항은 도서관에 문의 바랍니다.
무인예약대출
- 1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
- 2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
- 3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
- 4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
- 5. 기타 문의사항은 도서관에 문의 바랍니다.
1. 머리말
2. 정합성 문제
3. 정합성에 대한 절대적 증명
4. 형식 논리학의 형식적 연역 체계화
5. 정합성에 대한 절대적 증명의 성공 사례
6. 사상 개념과 수학에서의 응용
7. 괴델의 증명
괴델 수 붙이기
상위 수학의 산술학화
괴델의 논증의 핵심 주장
8. 마무리 성찰
부록 - 몇 가지 보충 설명
수학자가 들려주는 수학 이야기,. 1~88
410 자142ㅅ 1-88
(채교수의) 확률모형 강의 = Probability model
413.1 채297ㅎ
보리보리 팡!
410 아173ㄲ 48
(켈러의) 경영경제통계학 : 엑셀의 실전적 활용 제12판
413.84 켈345ㄱ이
엄마의 장바구니
410 아173ㄲ 11
(데이터과학을 위한) 확률·통계 : R과 Python의 활용
413.7 허132ㅎ
미적분학. 2 제3개정판[4판]
414.1 김974ㅁ
미적분학. 1 제3개정판[4판]
414.1 김974ㅁ
(켈러의) 경영경제통계학 : 엑셀의 실전적 활용 제12판
413.84 켈345ㄱ이
서평쓰기