수학사랑

미국의 수학자·논리학자. 오스트리아 출생.

빈대학에서 수학을 전공한 후, 동대학 강사(1933∼38)로 있었다.

그 동안 과학적 방법 위에 철학의 기초를 세우려고 한 빈 학파에 속하여, 그 후 수학기초론이나 논리학의 방법에 결정적인 전환점을 가져온 많은 '괴델의 정리'를 발표하였다. 특히 유명한 것으로는 1931년 발표한 '불완전성 정리'인데, 이것은 당시의 H.힐베르트나 B.러셀과 같이 공리적인 방법에만 의존하여 수학의 체계를 세우려는 확신을 좌절시킨 정리이다. 38년 나치스 정권의 박해로 미국으로 이주하여, 프린스턴고등연구소 연구원이 되었다.

주요 저서 논문으로는 《der formale unentscheidbare Senjfgze der Principia Mathematica und verwandter Systeme》(1931) 《The Consistency of the Axiom of the Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory》(48) 등이 있다