논리적 딜레마 : 쿠르트 괴델의 생애와업적(수리논리연구시리즈2)

20세기 가장 탁월한 논리학자로 불리는 괴델은 1계논리의 완전성, 형식화된 수론의 불완전성, 선택공리와 연속체 가설의 상대적 무모순성 등을 증명하여 수학기초론의 연구에서 형식화된 방법의 한계를 밝혀내었고, 오늘날 이 분야에 대한 우리들의 생각을 근본적으로 바꾸었다. 그는 또한 수리철학과 관련한 특유의 글로도 유명하며, 우주론에 관한 그의 결과는 시간의 철학에 논쟁점을 제공하였다. 저자 존 도슨은 괴델의 논저들과 편지들을 철저하게 조사하고 괴델의 성격과 과학적 성취의 연관성을 탐구하였으며, 그의 성과가 오늘날 우리들의 세계관에 미치는 영향에 대하여 서술하였다.

옮긴이의 글 서문과 감사의 글 1장. 왜요 씨 (1906～1924) 1 2장. 지적 성숙 (1924～1929) 25 3장. 보충해설; 한 눈에 보는 논리학 발전사 (1928년까지) 45 4장. 충격의 시점 (1929～1931) 67 5장. 부재중인 강사 (1932～1937) 99 6장. “이제, 집합론으로” (1937～1939) 137 7장. 귀향과 이주 (1939～1940) 165 8장. 정착의 시기 (1940～1946) 181 9장. 철학과 우주론 (1946～1951) 207 10장. 영예와 은둔 (1951～1961) 233 11장. 연속체 문제에 비친 새로운 서광 (1961～1968) 261 12장. 퇴각 (1969～1978) 279 13장. 그 후 311 14장. 괴델의 생애와 유산에 대한 단상 319 후주後註333 부록 A. 괴델 연보 369 부록 B. 가계도 372 부록 C. 주요 등장 학자 소개 375 참고문헌 385 찾아보기 399