Overview

Emil Leon Post

(1897—1954)


Related Overviews

Cassius Jackson Keyser (1862—1947)

Alfred North Whitehead (1861—1947) mathematician and philosopher

W. V. O. Quine (1908—2000) American philosopher and logician

completeness

See all related overviews in Oxford Index » »

 

More Like This

Show all results sharing this subject:

  • Philosophy

GO

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.