人物生平
7歲時(shí)跟從父母由波蘭遷居美國(guó)。曾在紐約市學(xué)院學(xué)習(xí)。1917-1920年在哥倫比亞大學(xué)深造，先后獲得文學(xué)碩士和哲學(xué)博士學(xué)位。1918年成為美國(guó)數(shù)學(xué)學(xué)會(huì)會(huì)員。1921年任普林斯頓大學(xué)學(xué)監(jiān)。1922年受聘為哥倫比亞大學(xué)講師。1924年受聘于科內(nèi)爾大學(xué)。1927-1935年在中學(xué)教書。1935年之后在紐約市學(xué)院任教。1936年成為美國(guó)符號(hào)邏輯協(xié)會(huì)的創(chuàng)始會(huì)員。1954年4月21日卒于紐約。
個(gè)人生活
幼年時(shí)在一次事故中失去了一只胳膊，不過波斯特頑強(qiáng)求學(xué)。1929年與格特魯結(jié)婚，婚后有一個(gè)女兒。
主要成就
數(shù)理邏輯學(xué)
波斯特是現(xiàn)代計(jì)算機(jī)理論和證明論的開創(chuàng)人之一，在數(shù)理邏輯方面做出了巨大貢獻(xiàn)。在1920年的博士論文中，證明了羅素和懷特海提出的命題的演算的相容性和完備性，系統(tǒng)地運(yùn)用了真值表法則；討論了命題邏輯多值系統(tǒng)的建立并引入了多值真值表。
算法
1936年，波斯特與圖靈幾乎同時(shí)提出了理想的計(jì)算機(jī)器”圖靈機(jī)”，定義了可計(jì)算函數(shù)的概念。1947年，證明了1914年被提出的“半群的字問題的遞歸不可解性”問題。
分析學(xué)
在分析學(xué)方面，波斯特研究并給出了與拉普拉斯變換相聯(lián)系的反演公式。
