Successivamente divenne insegnante di matematica nelle scuole superiori, a New York. Nel 1936 entrò al dipartimento di matematica presso il City College of New York, dove rimase fino alla morte.
Nella sua tesi di dottorato alla Columbia University, Post dimostrò, tra le altre cose, che il calcolo proposizionale dei Principia Mathematica è completo: cioè che tutte le tautologie sono teoremi, dimostrabili dati gli assiomi dei Principia, le regole di sostituzione e il modus ponens.
Nel 1947 diede la dimostrazione dell'impossibile risoluzione del problema di Thue (problema delle parole per i semigruppi).[1]
Note
^abEmil Leon Post, in Treccani.it – Enciclopedie on line, Roma, Istituto dell'Enciclopedia Italiana. URL consultato il 12 ottobre 2009.
Bibliografia
(EN) Emil Leon Post, Papers 1927-1991, American Philosophical Society, Philadelphia, Pennsylvania.
(EN) Martin Davis, The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions Dover books on mathematics, Courier Dover Publications, 2004, pp.288-406. ISBN 0-486-43228-9, ISBN 978-0-486-43228-1
(EN) Martin Davis, Emil L. Post: His Life and Work, in Solvability, Provability, Definability: The Collected Works of Emil L.Post, Birkhäuser, 1993. ISBN 3-7643-3579-3, ISBN 978-3-7643-3579-3
