Overview

Emil Leon Post

(1897—1954)


Show Summary Details

Quick Reference

(1897–1954)

Polish-born American mathematician and logician. Post introduced the truth-table method for defining and checking validity in propositional logic. His unpublished researches into problems of completeness and decidability interestingly anticipated the 1930s results of Gödel, Church, and Turing.

Subjects: Philosophy.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.