logo
logo
x
바코드검색
바코드검색

인기 검색어

실시간 검색어

검색가능 서점

도서목록 제공

괴델의 증명

괴델의 증명

(호프스태터가 서문을 쓰고 개정한)

더글러스 호프스태터, 어니스트 네이글, 제임스 뉴먼 (지은이), 고중숙, 곽강제 (옮긴이)
승산
15,000원

일반도서

검색중
서점 할인가 할인률 배송비 혜택/추가 실질최저가 구매하기
알라딘 로딩중
yes24 로딩중
교보문고 로딩중
11st 로딩중
영풍문고 로딩중
G마켓 로딩중
쿠팡 로딩중
쿠팡로켓 로딩중
notice_icon 검색 결과 내에 다른 책이 포함되어 있을 수 있습니다.

중고도서

검색중
서점 유형 등록개수 최저가 구매하기
로딩중

eBook

검색중
서점 정가 할인가 마일리지 실질최저가 구매하기
로딩중

책 이미지

괴델의 증명
eBook 미리보기

책 정보

· 제목 : 괴델의 증명 (호프스태터가 서문을 쓰고 개정한)
· 분류 : 국내도서 > 과학 > 수학 > 쉽게 배우는 수학
· ISBN : 9788961390347
· 쪽수 : 176쪽
· 출판일 : 2010-10-29

책 소개

괴델의 불완전성 정리를 풀어 쓴 <괴델의 증명> 을 호프스태터가 개정한 책으로, 원본을 현대적으로 새롭게 재편하고 확장하여 괴델의 증명에 내포된 핵심 아이디어를 쉽게 이해하도록 하였다. 호프스태터는 개정판을 검토하면서 초판 이후의 발전을 반영하고 모호한 논점을 명료하게 서술하여 이전보다 훨씬 편하게 읽으면서도 깊이 이해할 수 있도록 가다듬었다.

목차

개정판 서문 9
감사의 말 24
옮긴이의 말 25

Ⅰ. 머리말 33
Ⅱ. 정합성 문제 39
Ⅲ. 정합성에 대한 절대적 증명 59
Ⅳ. 형식 논리학의 형식적 연역 체계화 72
Ⅴ. 정합성에 대한 절대적 증명의 성공 사례 81
Ⅵ. 사상 개념과 수학에서의 응용 95
Ⅶ. 괴델의 증명 107
1. 괴델 수 붙이기 107
2. 상위 수학의 산술학화 120
3. 괴델의 논증의 핵심 주장 131
Ⅷ. 마무리 성찰 148

부록 몇 가지 보충 설명 153
참고 문헌 167
찾아 보기 168

저자소개

더글러스 호프스태터 (지은이)    정보 더보기
의식과 자기 지시, 창의성과 언어의 본질을 탐구하는 인지과학자이자 물리학자, 언어학자, 철학자다. 학문의 경계를 넘나드는 독창적 연구로 명성을 쌓았으며, 전문가 수준의 음악적 재능과 더불어 영어, 프랑스어, 이탈리아어, 러시아어 등 여러 언어를 자유자재로 구사하는 언어 천재로도 널리 알려져 있다. 1945년 뉴욕에서 태어나 노벨 물리학상 수상자인 아버지 로버트 호프스태터(Robert Hofstadter)의 학문적 재능을 이어받아 일찍이 과학자의 길을 걸었다. 스탠퍼드대학교에서 수학을 전공하고 오리건대학교에서 물리학 석사와 박사학위를 취득했으며, 이후 인디애나대학교와 미시간대학교에서 인공지능과 인지과학 연구를 이어갔다. 독일 레겐스부르크대학교, MIT, 프린스턴대학교, 하버드대학교 등에서 객원교수를 역임했고, 현재는 인디애나대학교 블루밍턴 캠퍼스 관념인지연구소 소장을 맡고 있다. 이곳에서 ‘유동적 유추 연구단(Fluid Analogies Research Group)’을 이끌며 유추적 사고의 인지 모델과 컴퓨터 모형을 탐구하고있다. 그의 대표작 『괴델, 에셔, 바흐(Godel, Escher, Bach)』는 형식 체계와 자기 지시의 세계를 탐구한 혁신적 저작으로, 1980년 퓰리처상과 전미도서상을 동시에 수상하며 세계 지성사에길이 남을 명저로 자리매김했다. 이 밖에도 심리학자 에마뉘엘 상데(Emmanuel Sander)와공저한 『사고의 본질(Surfaces and Essences)』 등 여러 저서를 통해 인간 정신과 언어의 심오한 수수께끼를 파고들었다. 1981년부터 1983년까지 미국의 전설적인 수학자 마틴 가드너(Martin Gardner)의 뒤를 이어 《사이언티픽아메리칸》에 ‘Metamagical Themas’라는 제목으로 칼럼을 연재했다. 가드너의 칼럼명 ‘Mathematical Games’를 비틀어 만든 이 애너그램은 호프스태터 특유의 언어유희이자, 언어와 예술부터 인지과학과 인공지능, 게임이론과 밈이론까지 아우르는 폭넓은 탐구를 예고하는 장치였다. 『사고의 유희』는 그 연재를 집대성한 작품으로, 르네상스적 천재라 불리는 호프스태터의 상상력과 사유가 응축된 결정판이다.
펼치기
어니스트 네이글 (지은이)    정보 더보기
체코슬로바키아 출생. <철학>지의 편집 위원을 역임하고 현재 컬럼비아 대학교 교수로 재직중이다. 저서로는 <논리와 과학적 방법 입문> <학률 이론의 원리들> <주권 이성> <형이상학 없는 논리> <괴델의 증명> <과학 철학 및 과학사 관련 목적론 재론 및 여타 논문집> 등이 있다.
펼치기
제임스 뉴먼 (지은이)    정보 더보기
『수학의 세계』의 편집자였으며 『과학이란 무엇인가?』의 저자이다.
펼치기
고중숙 (지은이)    정보 더보기
서울대학교 자연대학 화학과를 졸업하고 미국 애크런대학교에서 레이저분광학으로 박사학위를 받았다. 미국 피츠버그대학교에서 박사후과정을 지냈으며, 국립순천대학교 화학교육과 교수로 재직했다. 현재 과학 문화의 저변 확대에 많은 관심을 갖고 폭넓은 번역 및 집필 활동을 하고 있다. 지은 책으로 『고중숙 교수의 과학 뜀틀』, 『중학수학 바로 보기』, 『유레카 E=mc2 』, 『아인슈타인, 시간여행을 떠나다』 등이 있고, 옮긴 책으로 『무, 영, 진공』, 『상대성이란 무엇인가』, 『물리학 특강』, 『우주, 또 하나의 컴퓨터』, 『수학자는 어떻게 사고를 하는가』, 『무의 수학 무한의 수학』 등이 있다.
펼치기
곽강제 (옮긴이)    정보 더보기
전북대학교에서 배우고 연구하고 가르치다가 지금은 전북대학교 명예교수이다. 지은 책으로는 『철학과 학문의 노하우』가 있고, 옮긴 책으로는 『논리학』(W. C. Salmon), 『철학의 의미』(J. G. Brennan), 『철학적 사고에의 초대』(E. L. Beardsley & M. C. Beardsley), 『서양의 지혜』(B. Russell), 『분석 철학』(M. Corrado), 『철학적 분석 입문』(J. Hospers), 『언어와 진리와 논리』(A. J. Ayer), 『철학과 논리적 통사론』(R. Carnap), 『나는 이렇게 철학을 하였다』(B. Russell), 『언어 철학』(W. P. Alston), 『자연 과학 철학』(C. G. Hempel), 『콰인과 분석 철학』(G. D. Romanos), 『괴델의 증명』(E. Nagel & J, Newman), 『비트겐슈타인의 『논리철학론』 이렇게 읽어야 한다』(R. M. White), 『논리철학론』(L. Wittgenstein) 등이 있으며, 엮은 책으로는 『논리와 철학』이 있고, 철학 논문을 다수 발표하였다.
펼치기
도서 정보 제공 : Yes24(www.yes24.com), 알라딘(www.aladin.co.kr)

이 포스팅은 쿠팡파트너스 및 제휴마케팅이 포함된 광고로 이에 따른 일정액의 수수료를 제공받습니다.
최근 본 책