통합검색
로그인
회원가입
추천도서
-
대출인기
(호프스태터가 서문을 쓰고 개정한) 괴델의 증명
발행연도 - 2010 / 어니스트 네이글, 제임스 뉴먼 지음 ; 곽강제, 고중숙 옮김 / 승산- 도서관 인천도서관
- 자료실 [인천]일반자료실1
- 부록 부록없음
- 등록번호 KM0000244600
- ISBN 9788961390347
- 형태 174 p. 22 cm
- 한국십진분류 자연과학 > 수학 >
- 카테고리분류 과학/기술 > 수학 > 쉽게 배우는 수학
내 책장 담기
전체도서관 소장정보
| 자료실 | 대출상태 | 반납예정일 | 청구기호 | 등록번호 | 자료예약 | 상호대차 | 책마중 | 정보출력 |
|---|
괴델의 불완전성 정리를 풀어 쓴 <괴델의 증명> 을 호프스태터가 개정한 책으로, 원본을 현대적으로 새롭게 재편하고 확장하여 괴델의 증명에 내포된 핵심 아이디어를 쉽게 이해하도록 하였다. 호프스태터는 개정판을 검토하면서 초판 이후의 발전을 반영하고 모호한 논점을 명료하게 서술하여 이전보다 훨씬 편하게 읽으면서도 깊이 이해할 수 있도록 가다듬었다.
개정판 서문
감사의 말
옮긴이의 말
Ⅰ. 머리말
Ⅱ. 정합성 문제
Ⅲ. 정합성에 대한 절대적 증명
Ⅳ. 형식 논리학의 형식적 연역 체계화
Ⅴ. 정합성에 대한 절대적 증명의 성공 사례
Ⅵ. 사상 개념과 수학에서의 응용
Ⅶ. 괴델의 증명
1. 괴델 수 붙이기
2. 상위 수학의 산술학화
3. 괴델의 논증의 핵심 주장
Ⅷ. 마무리 성찰
부록 - 몇 가지 보충 설명
참고 문헌
찾아 보기
감사의 말
옮긴이의 말
Ⅰ. 머리말
Ⅱ. 정합성 문제
Ⅲ. 정합성에 대한 절대적 증명
Ⅳ. 형식 논리학의 형식적 연역 체계화
Ⅴ. 정합성에 대한 절대적 증명의 성공 사례
Ⅵ. 사상 개념과 수학에서의 응용
Ⅶ. 괴델의 증명
1. 괴델 수 붙이기
2. 상위 수학의 산술학화
3. 괴델의 논증의 핵심 주장
Ⅷ. 마무리 성찰
부록 - 몇 가지 보충 설명
참고 문헌
찾아 보기
수학 속 패러독스 = Paradoxes and math
2019 / 지음: 황운구 / 지오북스
퍼즐 수학 입문 : 즐기면서 배우기 위하여
2020 / 지음: 후지무라 고자부로 ; 다무라 사부로 ; 옮김: 임승원 / 전파과학사
(퀴즈로 배우는)만점 수학. 1
2011 / 후카가와 야스히사 지음 ; 황소연 옮김 / 다산에듀
(퀴즈로 배우는)만점 수학. 2
2011 / 후카가와 야스히사 지음 ; 황소연 옮김 / 다산에듀
일할 때 가장 많이 써먹는 수학: 일할 땐 사칙연산 4가지만 알면 끝!
2021 / 지음: 후카사와 신타로; 옮김: 황혜숙 / 센시오
수학 공부법
2016 / 지음: 도야마 히라쿠 ; 옮김: 박미정 / 에이케이커뮤니케이션즈
100년의 난제 푸앵카레 추측은 어떻게 풀렸을까? : 필즈상을 거부하고 은둔한 기이한 천재 수학자 이야기
2009 / 가스가 마시히토 지음 ; 이수경 옮김 / 살림출판사
(호프스태터가 서문을 쓰고 개정한) 괴델의 증명
2010 / 어니스트 네이글, 제임스 뉴먼 지음 ; 곽강제, 고중숙 옮김 / 승산
지식의 기초: 수와 인류의 3000년 과학철학사
2023 / 지음: 데이비드 니런버그, 리카도 L . 니런버그; 옮김: 이승희 / arte:
밀림으로 간 유클리드 : 논리학과 수학의 진리를 찾아 떠난 여행
2006 / 조지프 마주르 지음 ; 이경아 옮김 / 한승
수학하는 신체 : 일본의 대표적 지성 우치다 타츠루 추천!
2016 / 지음: 모리타 마사오 ; 옮김: 박동섭 / 에듀니티
수학하는 신체 : 신체와 사고가 함께하는 수학
2020 / 지음: 모리타 마사오 ; 옮김: 박동섭 / 에듀니티
수학이 보이는 가우디 건축 여행
2021 / 지음: 문태선 / 궁리
수학이 보이는 에셔의 판화 여행
2022 / 지음: 문태선 / 궁리(궁리출판)
![수학이 보이는 루이스 캐럴의 이상한 여행: [청소년]](https://image.aladin.co.kr/product/31338/94/cover/8958208201_1.jpg)
수학이 보이는 루이스 캐럴의 이상한 여행: [청소년]
2023 / 지음: 문태선 / 궁리
스티븐 호킹의 블랙홀
2018 / 지음: 스티븐 호킹, 옮김: 이종필 / 동아시아
유클리드기하학, 문제해결의 기술
2023 / 지음: 박종하 / 김영사
사고의 본질 : 유추, 지성의 연료와 불길
2017 / 지음: 더글러스 호프스태터, 에마뉘엘 상데 ; 옮김: 김태훈 / 아르테
파인만의 여섯가지 물리 이야기
2003 / 리처드 파인만 저 ; 폴 데이비스 서문 ; 박병철 옮김 / 승산
1Q84 : 무라카미 하루키 장편소설 . 1 , 4月 -6月
2023 / 지음: 무라카미 하루키 ; 옮김: 양윤옥 / 문학동네
(李泰俊 著) 문장강화
2015 / 著: 이태준 ; 엮음: 김경남 / 경진출판
(김승옥) 무진기행
2012 / 김승옥 지음 ; 구재진 엮음 / 사피엔스21
(프렌즈)치앙마이 : 최고의 치앙마이 여행을 위한 가장 완벽한 가이드북
2025 / 지음: 안진헌 / 중앙books
소수와 리만 가설 : 질서와 패턴을 찾고자 하는 이들의 궁극적 도전 대상
2017 / 지음: 배리 메이저, 윌리엄 스타인 ; 옮김: 권혜승 / 승산
(프로이트)정신분석학 입문
2017 / 지음: 지그문트 프로이트 ; 옮김: 서석연 / 범우사
특이점과 초지능
2018 / 지음: 머리 샤나한 ; 옮김: 성낙현 / 한울
(초·초 재밌어서 밤새 읽는)수학 이야기
2021 / 지음: 사쿠라이 스스무; 옮김: 김정환 / 더숲
(재밌어서 밤새 읽는)수학 이야기; 프리미엄편
2021 / 지음: 사쿠라이 스스무; 옮김: 장은정 / 더숲
수학의 쓸모: 불확실한 미래에서 보통 사람들도 답을 얻는 방법
2021 / 지음:닉 폴슨 , 제임스 스콧 [공] ; 옮김:노태복 / 더퀘스트
![(코믹 메이플스토리)수학도둑: [만화]. 61, 종합편](https://image.aladin.co.kr/product/12329/40/cover500/8926384853_1.jpg)
(코믹 메이플스토리)수학도둑: [만화]. 61, 종합편
2021 / 글: 동암 송도수 ; 그림: 서정 엔터테인먼트 / 서울문화사
이 문제 풀 수 있겠어?
2021 / 지음: 알렉스 벨로스; 옮김: 김성훈 / 북라이프
(재밌어서 밤새 읽는)수학자들 이야기: 수학자들과 떠나는 스토리텔링 수학여행!
2021 / 지음: 사쿠라이 스스무; 옮김: 조미량 / 더숲
![(코믹 메이플스토리)수학도둑: [만화]. 62, 종합편](https://image.aladin.co.kr/product/13083/30/cover500/8926382567_1.jpg)
(코믹 메이플스토리)수학도둑: [만화]. 62, 종합편
2021 / 글: 동암 송도수 ; 그림: 서정 엔터테인먼트 / 서울문화사
수학아 수학아 나 좀 도와줘. 1
2022 / 글: 조성실 ; 그림: 이지현 / 삼성당
주요 키워드
통계(나이)
| 나이 | 대출건수 |
|---|---|
| 10대 미만 | 0 |
| 10대 | 3 |
| 20대 | 2 |
| 30대 | 0 |
| 40대 | 1 |
| 50대 | 0 |
| 60대 | 0 |
| 70대 | 0 |
| 80대 | 0 |
| 90대 | 0 |
통계(연도)
| 연도 | 대출건수 |
|---|---|
| 2017년 | 0 |
| 2018년 | 0 |
| 2019년 | 0 |
| 2020년 | 0 |
| 2021년 | 0 |
| 2022년 | 0 |
| 2023년 | 1 |
| 2024년 | 1 |
| 2025년 | 0 |
| 2026년 | 2 |