波斯特
波斯特（Post，Emil Leon ），数理逻辑学家。
人物生平
7岁时跟从父母由波兰迁居美国。曾在纽约学院学习。1917-1920年在哥伦比亚大学深造，先后获得文学硕士和哲学博士学位。1918年成为美国数学学会会员。1921年任普林斯顿大学学监。1922年受聘为哥伦比亚大学讲师。1924年受聘于科内尔大学。1927-1935年在中学教书。1935年之后在纽约市学院任教。1936年成为美国符号逻辑协会的创始会员。1954年4月21日卒于纽约。
个人生活
幼年时在一次事故中失去了一只胳膊，不过波斯特顽强求学。1929年与格特鲁结婚，婚后有一个女儿。
主要成就
数理逻辑学
波斯特是现代计算机理论和证明论的开创人之一，在数理逻辑方面做出了巨大贡献。在1920年的博士论文中，证明了伯特兰·阿瑟·威廉·罗素和阿尔弗雷德·怀特黑德提出的命题的演算的相容性和完备性，系统地运用了真值表法则；讨论了命题逻辑多值系统的建立并引入了多值真值表。
算法
1936年，波斯特与艾伦·麦席森·图灵几乎同时提出了理想的计算机器”图灵机”，定义了可计算函数的概念。1947年，证明了1914年被提出的“半群的字问题的递归不可解性”问题。
分析学
在分析学方面，波斯特研究并给出了与拉普拉斯变换相联系的反演公式。