波斯特，E．L．

【生卒】：1897～1954

【介绍】：

美籍数学家、逻辑学家。生于波兰奥古斯图夫，1904年到达美国，1917年获纽约市立大学学士学位，1917～1920年在哥伦比亚大学数学系做研究生，1920年获博士学位，随后在该校以及其他院校从事教学和研究工作。主要论著有：《初等命题的一般理论导引》(1920)、《数理逻辑的二值迭代系统》(1941)、《一般组合判定问题的形式归约》(1943)、《正整数递归枚举集及其判定问题》(1944)和《递归不可解度的上半格》(与S．C．克利尼合著，1954)。波斯特对证明论、递归论等数理逻辑分支的发展作出了重要的贡献，是递归论的创始人之一。1920年在他的博士论文中，证明了A．N．怀德海和B．A．W．罗素的《数学原理》中命题演算的一致性和完全性，它标志着现代证明论的开端。在这篇论文中他系统地应用了真值表方法，并给出了完全性和一致性的一般概念，还表明了如何建立命题逻辑的多值系统和引进多值真值表来分析这些系统。1944年，他提出了是否存在不同度的递归可枚举集的问题，该问题在他去世两年后才得到解决。1947年，他证明了半群字问题的递归不可解性。在数理哲学方面，波斯特认为数学是人类心智的结晶，因而不是绝对的，数学思维本质上是并且必定是创造性的，但这种创造性具有一定的局限性，符号逻辑正是揭示和发展这种局限性的无可争辩的工具。