도서불완전성 : 쿠르트 괴델의 증명과 역설
괴델, 아리스토텔레스 이후 최고의 논리학자 <타임>지가 선정한 20세기 최고의 수학자 불완전성정리, 컴퓨터를 만들어 내는 이론적 기초를 제공 불완전성에 관한 이론을 정립한 괴델의 이야기를 담은『불완전성』. 이 책은 불완전성정리와 함께 괴델의 생애를 다룬다. 비이성적인 삶을 살아간 괴델의...