來源：互聯網
波斯特（Post，Emil Leon ），數理邏輯學家。
人物生平
7歲時跟從父母由波蘭遷居美國。曾在紐約學院學習。1917-1920年在哥倫比亞大學深造，先后獲得文學碩士和哲學博士學位。1918年成為美國數學學會會員。1921年任普林斯頓大學學監。1922年受聘為哥倫比亞大學講師。1924年受聘于科內爾大學。1927-1935年在中學教書。1935年之后在紐約市學院任教。1936年成為美國符號邏輯協會的創始會員。1954年4月21日卒于紐約。
個人生活
幼年時在一次事故中失去了一只胳膊，不過波斯特頑強求學。1929年與格特魯結婚，婚后有一個女兒。
主要成就
數理邏輯學
波斯特是現代計算機理論和證明論的開創人之一，在數理邏輯方面做出了巨大貢獻。在1920年的博士論文中，證明了伯特蘭·阿瑟·威廉·羅素和阿爾弗雷德·懷特黑德提出的命題的演算的相容性和完備性，系統地運用了真值表法則；討論了命題邏輯多值系統的建立并引入了多值真值表。
算法
1936年，波斯特與艾倫·麥席森·圖靈幾乎同時提出了理想的計算機器”圖靈機”，定義了可計算函數的概念。1947年，證明了1914年被提出的“半群的字問題的遞歸不可解性”問題。
分析學
在分析學方面，波斯特研究并給出了與拉普拉斯變換相聯系的反演公式。
參考資料 >