통합검색
로그인
회원가입
인기도서
-
-
대출인기발행연도 - 2010 / 어니스트 네이글, 제임스 뉴먼 지음 ; 곽강제, 고중숙 옮김 / 승산
- 도서관 미추홀도서관
- 자료실 [미추홀]일반자료실1
- 부록 부록없음
- 등록번호 KM0000244599
- ISBN 9788961390347
- 형태 174 p. 22 cm
- 한국십진분류 자연과학 > 수학 >
- 카테고리분류 과학/기술 > 수학 > 쉽게 배우는 수학
내 책장 담기
상세보기
미리보기
전체도서관 소장정보
| 자료실 | 대출상태 | 반납예정일 | 청구기호 | 등록번호 | 자료예약 | 상호대차 | 책마중 | 정보출력 |
|---|
책소개
괴델의 불완전성 정리를 풀어 쓴 <괴델의 증명> 을 호프스태터가 개정한 책으로, 원본을 현대적으로 새롭게 재편하고 확장하여 괴델의 증명에 내포된 핵심 아이디어를 쉽게 이해하도록 하였다. 호프스태터는 개정판을 검토하면서 초판 이후의 발전을 반영하고 모호한 논점을 명료하게 서술하여 이전보다 훨씬 편하게 읽으면서도 깊이 이해할 수 있도록 가다듬었다.
목차
개정판 서문
감사의 말
옮긴이의 말
Ⅰ. 머리말
Ⅱ. 정합성 문제
Ⅲ. 정합성에 대한 절대적 증명
Ⅳ. 형식 논리학의 형식적 연역 체계화
Ⅴ. 정합성에 대한 절대적 증명의 성공 사례
Ⅵ. 사상 개념과 수학에서의 응용
Ⅶ. 괴델의 증명
1. 괴델 수 붙이기
2. 상위 수학의 산술학화
3. 괴델의 논증의 핵심 주장
Ⅷ. 마무리 성찰
부록 - 몇 가지 보충 설명
참고 문헌
찾아 보기
감사의 말
옮긴이의 말
Ⅰ. 머리말
Ⅱ. 정합성 문제
Ⅲ. 정합성에 대한 절대적 증명
Ⅳ. 형식 논리학의 형식적 연역 체계화
Ⅴ. 정합성에 대한 절대적 증명의 성공 사례
Ⅵ. 사상 개념과 수학에서의 응용
Ⅶ. 괴델의 증명
1. 괴델 수 붙이기
2. 상위 수학의 산술학화
3. 괴델의 논증의 핵심 주장
Ⅷ. 마무리 성찰
부록 - 몇 가지 보충 설명
참고 문헌
찾아 보기
서가브라우징
(퀴즈로 배우는)만점 수학. 2
2011 / 후카가와 야스히사 지음 ; 황소연 옮김 / 다산에듀
일할 때 가장 많이 써먹는 수학: 일할 땐 사칙연산 4가지만 알면 끝!
2021 / 지음: 후카사와 신타로; 옮김: 황혜숙 / 센시오
일할 때 가장 많이 써먹는 수학: 일할 땐 사칙연산 4가지만 알면 끝!
2021 / 지음: 후카사와 신타로; 옮김: 황혜숙 / 센시오
수학 공부법
2016 / 지음: 도야마 히라쿠 ; 옮김: 박미정 / 에이케이커뮤니케이션즈
수학 우등생으로 키우는 부모의 노하우
2003 / 히로시 코하다 저 ; 최순육 역 / 아침나라
100년의 난제 푸앵카레 추측은 어떻게 풀렸을까? : 필즈상을 거부하고 은둔한 기이한 천재 수학자 이야기
2009 / 가스가 마시히토 지음 ; 이수경 옮김 / 살림출판사
100년의 난제 푸앵카레 추측은 어떻게 풀렸을까? : 필즈상을 거부하고 은둔한 기이한 천재 수학자 이야기
2009 / 가스가 마시히토 지음 ; 이수경 옮김 / 살림출판사
(호프스태터가 서문을 쓰고 개정한) 괴델의 증명
2010 / 어니스트 네이글, 제임스 뉴먼 지음 ; 곽강제, 고중숙 옮김 / 승산
지식의 기초: 수와 인류의 3000년 과학철학사
2023 / 지음: 데이비드 니런버그, 리카도 L . 니런버그; 옮김: 이승희 / arte:
밀림으로 간 유클리드 : 논리학과 수학의 진리를 찾아 떠난 여행
2006 / 조지프 마주르 지음 ; 이경아 옮김 / 한승
수학하는 신체 : 일본의 대표적 지성 우치다 타츠루 추천!
2016 / 지음: 모리타 마사오 ; 옮김: 박동섭 / 에듀니티
수학하는 신체 : 신체와 사고가 함께하는 수학
2020 / 지음: 모리타 마사오 ; 옮김: 박동섭 / 에듀니티
수학하는 신체 : 신체와 사고가 함께하는 수학
2020 / 지음: 모리타 마사오 ; 옮김: 박동섭 / 에듀니티
수학이 보이는 가우디 건축 여행
2021 / 지음: 문태선 / 궁리
수학이 보이는 가우디 건축 여행
2021 / 지음: 문태선 / 궁리
같이 빌린 책
(스티븐 호킹의)블랙홀
2018 / 스티븐 호킹 지음 ; 이종필 옮김 / 동아시아
유클리드기하학, 문제해결의 기술
2023 / 지음: 박종하 / 김영사
임제록 = 臨濟錄 : 종광 스님 강설
2014 / 종광 지음 / 모과나무
인간으로서의 베토벤
2021 / 지음: 에드먼드 모리스 ; 옮김: 이석호 / 프시케의숲
파인만의 여섯가지 물리이야기
2003 / 리처드 파인만 강의 ; 박병철 옮김 / 승산
(만화로 쉽게 배우는)선형대수 = (The)Comic guide to linear algebra
2011 / Shin takahashi 저 ; Iroha Inoue 그림 ; 김성훈 역 / 성안당
사고의 본질 : 유추, 지성의 연료와 불길
2017 / 지음: 더글러스 호프스태터, 에마뉘엘 상데 ; 옮김: 김태훈 / 아르테
니체 : 그의 삶과 철학 : 니체 평전
2017 / 레지날드 J. 홀링데일 지음 ; 김기복 ; 이원진 옮김 / 북캠퍼스
선은 이론이 아니라 체험이다 : 무각 스님이 일러 주는 일상에서의 수행
2018 / 지음: 무각 / 호미
별
2009 / 정유하 지음 / 청어람
특이점과 초지능
2018 / 지음: 머리 샤나한 ; 옮김: 성낙현 / 한울
論理學
2005 / W.C. 새먼 著 ; 郭江濟 譯 / 博英社
세상의 모든 사기꾼들
2015 / 지음: 이언 그레이엄 ; 옮김: 이은경 / 시그마북스
(문제 해결을 위한) 알고리즘 with 수학 : 알고리즘 문제 해결에 꼭 필요한 수학적 지식과 사고력
2023 / 지음: 요네다 마사타카; 옮김: 윤인성 / 위키북스
같은 주제의 책
수학이 필요한 순간 : 인간은 얼마나 깊게 생각할 수 있는가
2018 / 지음: 김민형 / 인플루엔셜
단치히가 들려주는 최적화 이론 2 이야기
2016 / 오혜정 지음 / 자음과모음
수학기호의 역사
2017 / 지음: 조지프 마주르 ; 옮김: 권혜승 / 반니
(코믹 메이플스토리)수학도둑. 59: 창의편
2017 / 지음: 송도수; 그림: 서정 엔터테인먼트 / 서울문화사
(유클리드가 들려주는)삼각형 이야기
2019 / 안수진 지음 / 자음과모음
(튜링이 들려주는) 암호 이야기. 9
2015 / 박철민 지음 / 자음과모음
(파스칼이 들려주는)수학적 귀납법 이야기
2016 / 김정하 지음 / 자음과모음
아벨이 들려주는 인수분해 1 이야기
2016 / 정규성 지음 / 자음과모음
유클리드가 들려주는 기본도형과 다각형 이야기
2016 / 김남준 지음 / 자음과모음
데카르트가 들려주는 좌표 이야기
2016 / 김승태 지음 / 자음과모음
![(오밀조밀 세상을 만든) 수학 : [이북 E-book]](https://image.aladin.co.kr/product/18005/25/cover500/k972534631_1.jpg)
(오밀조밀 세상을 만든) 수학 : [이북 E-book]
2021 / 글: 김용준 ; 그림: 신명환 / 봄볕
(코믹 메이플스토리)수학도둑. 64, 종합편
2018 / 글: 동암 송도수 ; 그림: 서정 엔터테인먼트 / 서울문화사
(코믹 메이플스토리)수학도둑. 62, 종합편
2021 / 글: 동암 송도수 ; 그림: 서정 엔터테인먼트 / 서울문화사
(코믹 메이플스토리)수학도둑. 61, 종합편
2021 / 글: 동암 송도수 ; 그림: 서정 엔터테인먼트 / 서울문화사
틀리지 않는 법 : 수학적 사고의 힘 : 세상을 더 깊게, 더 올바르게, 더 의미 있게 이해하는 법!
2017 / 지은이: 조던 엘렌버그 ; 옮긴이: 김명남 / 열린책들
주요 키워드
통계(나이)
| 나이 | 대출건수 |
|---|---|
| 10대 미만 | 0 |
| 10대 | 0 |
| 20대 | 1 |
| 30대 | 0 |
| 40대 | 0 |
| 50대 | 1 |
| 60대 | 0 |
| 70대 | 0 |
| 80대 | 0 |
| 90대 | 0 |
통계(연도)
| 연도 | 대출건수 |
|---|---|
| 2016년 | 0 |
| 2017년 | 0 |
| 2018년 | 1 |
| 2019년 | 0 |
| 2020년 | 0 |
| 2021년 | 1 |
| 2022년 | 0 |
| 2023년 | 0 |
| 2024년 | 0 |
| 2025년 | 0 |