1906년 4월 28일, 오스트리아의 수학자 쿠르트 괴델 (Kurt Gödel, 1906 ~ 1978) 출생
쿠르트 괴델 (독: Kurt Gödel, 1906년 4월 28일 ~ 1978년 1월 14일)은 불완전성의 정리로 유명한 수학자이자 논리학자이다. 오스트리아-헝가리 제국의 모라바 (현 체코 공화국의 브르노)에서 태어났다.
– 쿠르트 괴델 (Kurt Gödel)
.출생: 1906년 4월 28일, 체코 브르노
.사망: 1978년 1월 14일, 미국 뉴저지 프린스턴
.국적: 독일, 미국, 오스트리아, 체코
.배우자: Adele Nimbursky Porkert (1938 ~ 1978년)
.영향을 준 인물: 고틀로프 프레게, 고트프리트 빌헬름 라이프니츠, 이마누엘 칸트, 아이작 뉴턴
.수상: 알베르트 아인슈타인 상, 미국 국가 과학상 수학 및 컴퓨터 과학 부문
주요 업적으로 완전성 정리와 불완전성 정리의 증명과 연속체 가설의 상대적 무모순성이 잘 알려져 있다.
○ 생애 및 활동
유복한 시민계급 일가에서 태어났으며 아버지는 루돌프 괴델, 어머니는 마리안 괴델이다. 어려서부터 건강이 좋지 않았으나 거의 모든 학과목에서 우수한 성적을 거둔다. 1912년 사립 시민학교에 입학하고 4년 뒤에는 제국 국립 김나지움(대한민국의 중고등학교에 해당)에 들어간다. 1924년 빈 대학 물리학과에 입학한다. 대학 시절 그는 모리츠 슐리크 (독: Moritz Schlick)가 주도하던 빈 학파 (Wiener Kreis)의 모임에 나간다. 1928년에는 후에 반려자가 된 아델 포르케르트 (Adele Porkert, 1899 ~ 1981)를 알게 된다.
카를 멩거의 수학 콜로퀴움에 참석하고 1929년에 「제1단 술어논리의 완전성 정리」를 제출하여 1930년 2월 6일 박사 학위를 받는다.
다음 해인 1931년에는 20세기 수학기초론, 논리학에서 가장 중요한 발견으로 여겨지는 「불완전성 정리」를 발표한다. 이는 다비트 힐베르트가 수학의 무모순성을 증명하기 위해 추진했던 「힐베르트 프로그램」의 일부로 연구되었던 것이지만, 「수학은 자신의 무모순성을 증명할 수 없다」는 것을 보인 불완전성 정리는 거꾸로 그 프로그램에 크나큰 타격을 주었다. 불완전성은 존 폰 노이만 등 당대 1류 학자들의 격찬을 받아 「인간 이성의 한계를 보여줬다」는 평을 받았다.
그 외 업적으로는 알베르트 아인슈타인의 일반 상대성 이론의 괴델 우주 등이 있다.
괴델은 빈 대학 강사로 근무하였지만, 1940년 즈음 나치 독일을 피해 아내 아델과 미국으로 이주한다. 후에 미국 시민권을 얻고 프린스턴 고등연구소의 교수가 되었다. 그 연구소에서 알베르트 아인슈타인과 친가족과 같이 친밀하게 교류하였고 물리학, 철학 등에 대해 의견을 나누었다고 한다.
말년에는 극히 내성적이 되었으며 극도의 건강염려증, 피해망상에 시달렸다. 누군가가 독살하려 한다는 망상으로 부인이 해 주는 식사 이외에는 입에 대지 않았다. 자신의 방에 틀어박혀 다른 사람과 만나지도 않았으며, 신의 존재를 증명하는 데에 매달려 있었다. 결국에는 부인이 입원해 있는 동안 굶어 죽었다.
- 불완전성 (不完全性 定理, incompleteness theorems)
우리가 사용하고 있는 수학 체계가 잘못되지 않았다면 반드시 증명할 수 없는 명제를 가진다는 정리이다. 공리계의 완전성을 그 공리계 내부의 논리로 증명하는 것은 순환논증의 오류에 해당하기 때문이다.
쿠르트 괴델이 1931년에 발표한 정리이다. 19세기 해석학 (수학)의 발달 및 비유클리드 기하학의 본격적인 등장으로부터 촉발된 수학 기초론의 대표적인 성과로서, 현대 논리학의 토대가 되는 동시에 20세기 수학 및 철학, 컴퓨터과학 등 많은 분야에 큰 영향을 미쳤다.
술어 논리는 일상적으로 사용되는 명제 논리라고 불리는 논리를 확장한 것으로 기호를 사용하여 논리를 표현한다. 괴델은 이런 1차 술어 논리에 대한 완전성 정리를 1929년 23세 때 제출한 박사논문에서 증명했다. 불완전성 정리는 2년 후 25세에 증명한 것이다.
비슷한 이름의 개념으로 하이젠베르크가 발견한 물리학의 불확정성 원리, 케네스 애로우가 증명한 경제학의 불가능성 정리, 언어철학에서 콰인이 제시한 번역 불확정성 논제 그리고 수리 논리학에서 타르스키가 증명한 타르스키의 정의 불가능성 정리가 있다.
.정리
불완전성 정리는 “제1 불완전성 정리”와 “제2 불완전성 정리”라는 두 정리를 아우르는 말이다.
제1정리. 페아노 공리계를 포함하는 어떠한 공리계도 무모순인 동시에 완전할 수 없다. 즉 자연수 체계를 포함하는 어떤 체계가 무모순이라면, 그 체계에서는 참이면서도 증명할 수 없는 명제가 적어도 하나 이상 존재한다.
제2정리. 페아노 공리계가 포함된 어떠한 공리계가 무모순일 경우, 그 공리계로부터 그 공리계 자신의 무모순성을 도출할 수 없다.
페아노 공리계란 우리가 사용하고 있는 자연수에 관한 공리를 말한다.1+1=21+1=2라는 것도 이를 통해 정의된 것이다. 그런데 이 공리를 포함하는 체계가 모순이 없다면 참인데 증명할 수 없는 명제가 존재한다는 것이다.
참고 = 위키백과
크리스천라이프 편집부