| 波斯特 Emil Post1897—1954 美国逻辑学家。1921年证明了命题演算的完全性。同年提出了与卢卡西维茨系统不同的另一个多值逻辑系统。对命题的集合进行纯形式的思考，建立了任意有穷多值的命题逻辑系统。该系统对于任意的自然数n(n>2)，序列t1，…tn的每一项都可取作命题的值，其中t1取值为真，tn取值为假。在可计算性理论方面，提出和建立了一种符号处理系统，即Post系统。该系统与计算机软件有直接关系，为50—60年代形式语言的发展提供了基础。40年代提出过Post问题，即递归集与完全集中间存在不同的递归度的集的问题。所著《基本命题的一般理论导引》被认为是多值逻辑方面带有开创性意义的论文。 |