쿠르트 괴델

위키百科, 우리 모두의 百科事典.

쿠르트 괴델
1926년의 괴델
1926年의 괴델
出生 1906年 4月 28日
오스트리아-헝가리 帝國 모라바 브르노
死亡 1978年 1月 14日 ( 1978-01-14 ) (71歲)
美國 뉴저지州 프린스턴
國籍 美國
主要 業績 괴델의 不完全性 整理
괴델의 完全性 整理
連續體 假說 의 反證 不可能性
構成 可能 全體
順序數 正義 可能 集合
괴델의 存在論的 論證
受賞 Albert Einstein Award (1951)
分野 數學 , 數理論理學
所屬 프린스턴 高等硏究所
博士 敎授 한스 한

쿠르트 괴델 ( 獨逸語 : Kurt Godel , 1906年 4月 28日 ~ 1978年 1月 14日 )은 不完全性의 定理 로 有名한 數學者 이다. 오스트리아-헝가리 帝國 모라바 (現 체코 共和國 브르노 )에서 태어났다.

主要 業績으로 完全性 整理 不完全性 整理 의 證明과 連續體 假說 相對的 無矛盾性 證明이 잘 알려져 있다.

生涯 [ 編輯 ]

裕福한 市民階級 一家에서 태어났으며 아버지는 루돌프 괴델, 어머니는 마리안 괴델이다. 어려서부터 健康이 좋지 않았으나 거의 모든 學科目에서 優秀한 成跡을 거둔다. 1912年 私立 市民學校에 入學하고 4年 뒤에는 帝國 國立 김나지움 (大韓民國의 中高等學校에 該當)에 들어간다. 1924年 빈 大學 物理學科 에 入學하였고, 大學에서 모리츠 슐리크 가 主導하던 빈 學派 (Wiener Kreis)의 세미나에 參與한 以後로는 修理 論理學 에 關心을 가지게 된다. 1928年 에는 後에 伴侶者가 된 아델 포르케르트(Adele Porkert)(1899 ~ 1981)를 알게 되었다.

카를 멩거 數學 콜로퀴움에 參席하고 1929年에 《第1段 述語論理의 完全性 整理》를 提出하여 1930年 2月 6日 博士 學位를 받는다.

다음 해인 1931年 에는 20世紀 數學基礎論 , 論理學 에서 가장 重要한 發見으로 여겨지는 「不完全性 整理」를 發表한다. 이는 다비트 힐베르트 가 數學의 無矛盾性을 證明하기 위해 推進했던 이른바 힐베르트 프로그램 의 一部로 硏究되었던 것이지만, "數學은 自身의 無矛盾性을 證明할 수 없다"는 것을 보인 不完全性 整理는 거꾸로 그 프로그램에 크나큰 打擊을 주었다. 不完全性은 존 폰 노이만 等 當代 1流 學者들의 激讚을 받아 "人間 理性의 限界를 보여줬다"는 評을 받았다. 1938年에는 構成 可能 全體 라는 槪念을 導入하여 이를 通해 選擇 公理 連續體 假說 체르멜로-프렝켈 集合論 과 無矛盾이라는 事實을 證明하였다.

괴델은 빈 大學 講師로 勤務하였지만, 1940年 즈음 나치 獨逸을 被害 아내 아델과 美國으로 移住한다. 後에 美國 市民權을 얻고 프린스턴 高等硏究所 의 敎授가 되었다. 그 硏究所에서 알베르트 아인슈타인 과 親家族과 같이 親密하게 交流하였고, 物理學 , 哲學 等으로 關心事를 돌려 아인슈타인 方程式 의 해인 괴델 宇宙 를 提示하고 고트프리트 라이프니츠 의 哲學을 硏究하며 神의 存在 에 對한 證明을 試圖하기도 했다.

末年에는 極度의 健康念慮症과 被害妄想 에 시달렸고, 毒殺에 對한 强迫的 恐怖에 휩싸여 夫人이 주는 食事 以外에는 아무것도 먹지 않기 始作했다. 그는 自身의 房에 틀어박혀 다른 사람과 만나지도 않았으며 神의 存在를 證明하는 데에 매달려 있었고, 結局에는 夫人이 入院해 있는 동안 굶어 죽었다.

같이 보기 [ 編輯 ]

外部 링크 [ 編輯 ]