에밀 포스트 Emil Post
出生	1897年 2月 11日 ( 1897-02-11 ) 폴란드 立憲王國 아우구스투프
死亡	1954年 4月 21日 ( 1954-04-21 ) 美國 뉴욕 市
敎育	컬럼비아 大學校
出身 學校	컬럼비아 大學校
主要 業績	포스트-튜링 機械 命題 論理 의 完全性 整理 포스트의 整理
分野	數學 , 論理學
所屬	프린스턴 大學校 뉴욕 市立 大學校
博士 敎授	캐시어스 키저 (Cassius Keyser)
기타 敎授	캐시어스 키저 (Cassius Keyser)

에밀 레온 포스트 (Emil Leon Post, 1897年 2月 11日 ~ 1954年 4月 21日 )는 폴란드 界 美國人 數學者, 論理學者이다. 計算可能性 理論 等에 貢獻하였다.

生涯 [ 編輯 ]

포스트는 當時 러시아 帝國 令이던 폴란드 아우구스투프 의 유대人 家庭에서 태어났으며 어린 나이에 그의 家族이 뉴욕市 로 移徙하였다. 어린 時節 포스트는 天文學 에 關心이 많았으나 12歲에 自動車 事故로 왼팔을 잃은 以後 數學에 置重하게 되었다.

高等學校 卒業 後 뉴욕 시티 칼리지 에 入學하여 數學을 工夫하고 1917年 卒業한다. 1920年 컬럼비아 大學 에서 캐시어스 잭슨 키저(Cassius Jackson Keyser)의 指導 下에 數學 博士 學位를 取得한다. 곧 프린스턴 大學 에 博士後硏究員으로 들어갔다가 1921年부터는 高等學校 數學 敎師로 일하게 된다. 프린스턴 在職 時節부터 甚한 躁鬱症 症勢를 보여 硏究에 支障을 겪었다고 한다. ^[1]

1936年에는 뉴욕 시티 칼리지의 數學科 敎授로 任用되었다. 1954年 憂鬱症에 對한 電氣 衝擊 治療 를 받고 心臟痲痹 로 死亡하였다. ^[1]

業績 [ 編輯 ]

포스트는 그의 博士 論文에서 數學 原理 의 命題 演算의 完全性 을 證明하였다. 또한 루트비히 비트겐슈타인 및 찰스 샌더스 퍼스 와는 獨立的으로 眞理表 技法을 導入하였다. 特히 프린스턴에 在職 中이던 때에는 ( 쿠르트 괴델 이 1931年 證明한) 수학원리의 不完全性 의 證明에 近接하였으나 스스로 確信이 들지 않아 出版하지 않았다. 이러한 그의 業績들은 當時에는 注目받지 못하다가 나중에야 發見되었다. ^[2]

한便 앨런 튜링 의 튜링 機械 硏究와 獨立的으로 튜링 機械와 同等한 計算 모델을 考案하였으며, 그의 論文 Formulation 1에서 考案된 이 計算 모델은 포스트-튜링 機械 로 불린다.

1944年 計算不可能한 再歸 列擧 集合 이면서 그 튜링 次數 가 停止 問題 의 튜링 次數보다 작은 境遇가 存在하겠는가 하는 問題를 提起하였고, 이는 튜링 次數 硏究에서 重要한 '포스트의 問題'로 불리게 된다. 이는 1950年代 再歸 理論 의 强力한 技法인 priority method가 導入되면서 肯定으로 解決되었다.

1946年에는 決定不可能한 決定 問題 의 簡單한 例示로서 포스트 對應 問題(Post correspondence problem)를 提示하였다. 以外에 微分의 一般化(generalized differentiation)에 關한 有名한 論文을 썼으며, 普遍 代數學 에 關한 긴 論文에서 多進軍 (polyadic group)에 對한 여러 重要한 結果를 보이기도 했다.

같이 보기 [ 編輯 ]

• 計算可能性 理論
• 算術 位階

各州 [ 編輯 ]