자료유형  

단행본

ISBN  

9788961390088 03410

ISBN  

9788961390057(세트)

언어부호  

본문언어 - kor, 원저작언어 - eng

KDC  

410.99-4

청구기호  

410.99 G624iKㄱ

저자명  

Goldstein, Rebecca

서명/저자  

불완전성 : 쿠르트 괴델의 증명과 역설 / 레베카 골드스타인 지음 ; 고중숙 옮김.

발행사항  

서울 : 승산, 2007.

형태사항  

341 p : 삽도 ; 23 cm.

서지주기  

참조자료: p.286-302.

서지주기  

참고문헌: p.303-307.

서지주기  

찾아보기: p.322-341.

서지주기  

서지적 각주 수록.

원저자/원서명  

Incompleteness : the proof and paradox of Kurt Gdel.

주제명-개인  

G◆U00F6◆del, Kurt

일반주제명  

Logicians United States Biography

일반주제명  

Logicians Austria Biography

일반주제명  

Proof theory

키워드  

쿠르트 괴델 역설

기타저자  

고중숙.

기타저자  

골드스타인, 레베카.

기타저자  

괴델, 쿠르트

가격  

\15,000

Control Number  

hycl:65820

책소개  

괴델, 아리스토텔레스 이후 최고의 논리학자
〈타임〉지가 선정한 20세기 최고의 수학자
불완전성정리, 컴퓨터를 만들어 내는 이론적 기초를 제공

불완전성에 관한 이론을 정립한 괴델의 이야기를 담은『불완전성』. 이 책은 불완전성정리와 함께 괴델의 생애를 다룬다. 비이성적인 삶을 살아간 괴델의 모습과 고전 물리학과 수학에 나타난 모순들을 정리한 불완전성의 정리가 어떻게 발견되고 존재하는가를 밝히는 과정을 소개한다.

《불완전성》은 괴델의 어린시절과 첫사랑을 겪은 대학 시절, 불완전성의 증명과정과 괴델의 불완전성 등으로 구성했다.