Kurt Gödel
(미국, 수학자·논리학자, 1906~1978)
미국의 수학자·논리학자. 오스트리아 출생. 빈대학에서 수학을 전공한 후, 동대학 강사 (1933∼38) 로 있었다. 그 동안 과학적 방법 위에 철학의 기초를 세우려고 한 빈 학파에 속하여, 그 후 수학기초론이나 논리학의 방법에 결정적인 전환점을 가져온 많은 ‘괴델의 정리’ 를 발표하였다. 특히 유명한 것으로는 1931년 발표한 ‘불완전성 정리 (Incompleteness Theorem)’ 인데, 이것은 당시의 David Hilbert 나 Bertrand Russell 과 같이 공리적인 방법에만 의존하여 수학의 체계를 세우려는 확신을 좌절시킨 정리이다. 38년 나치스 정권의 박해로 미국으로 이주하여, 프린스턴고등연구소 (Institute for Advanced Study) 연구원이 되었다. 주요 저서 논문으로는 《The Consistency of the Axiom of the Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory》(1948) 이 있다.
괴델의 정리는 몹시 난해하지만 결국 20세기 수학기초론의 핵심이 되었다. 이 정리는 "어떤 컴퓨터라 해도 풀 수 없는 수학적 문제가 있다"고 해석되기도 한다. .........
괴델의 발견으로, 수학의 보다 본질적인 문제는 진리가 아니라 증명가능성의 개념이라는 이해가 전적으로 지배하게 된다 ......
term :
Kurt Gödel 수학 (Mathematics) 논리학 (Logic) 계산가능성 이론 (Computability Theory) 불완전성 정리 (Incompleteness Theorem) 완전성 정리 (Completeness Theorem) David Hilbert Bertrand Russell 괴델, 에셔, 바흐 (Godel, Escher, Bach)
site :
paper :
site :
Kurt Godel and the Limits of Mathematics : Mark Colyvan (Part 1 of 3) : 2011/10/17
Kurt Godel and the Limits of Mathematics : Mark Colyvan (Part 2 of 3) : 2011/11/05
Kurt Godel and the Limits of Mathematics : Mark Colyvan (Part 3 of 3) : 2011/11/09
The Limits of Understanding : World Science Festival : 2014/12/14