波斯特

7歲時跟從父母由波蘭遷居美國。 ^{[2]  [1]}  曾在紐約市學院學習。 ^{[2]  [1]}  1917-1920年在哥倫比亞大學深造，先後獲得文學碩士和哲學博士學位。 ^[2]  1918年成為美國數學學會會員。1921年任普林斯頓大學學監。 ^{[2]  [1]}  1922年受聘為哥倫比亞大學講師。 ^[2]  1924年受聘於科內爾大學。 ^{[2]  [1]}  1927-1935年在中學教書。 ^[2]  1935年之後在紐約市學院任教。 ^[2]  1936年成為美國符號邏輯協會的創始會員。 ^{[2]  [1]}  1954年4月21日卒於紐約。 ^{[2]  [1]} 

幼年時在一次事故中失去了一隻胳膊 ^[1]  ，不過波斯特頑強求學。 ^[1]  1929年與格特魯結婚，婚後有一個女兒。 ^[1] 

波斯特是現代計算機理論和證明論的開創人之一，在數理邏輯方面做出了巨大貢獻。 ^[1-2]  在1920年的博士論文中，證明了羅素和懷特海提出的命題的演算的相容性和完備性，系統地運用了真值表法則；討論了命題邏輯多值系統的建立並引入了多值真值表。 ^{[2]  [1]} 

1936年，波斯特與圖靈幾乎同時提出了理想的計算機器”圖靈機”， ^[1]  定義了可計算函數的概念。 ^[2]  1947年，證明了1914年被提出的“半羣的字問題的遞歸不可解性”問題。 ^{[2]  [1]} 

在分析學方面，波斯特研究並給出了與拉普拉斯變換相聯繫的反演公式。 ^{[2]  [1]}