Emil Leon Post
Emil Leon Post (Augustów, 11 febbraio 1897 – New York, 21 aprile 1954) è stato un matematico e logico statunitense di origine polacca.
Biografia modifica
Nacque in una famiglia ebrea polacca che emigrò in America quando era ancora bambino. Dopo aver completato il PhD in matematica presso la Columbia University, fece un post-dottorato all'Università di Princeton. Qui si occupò del tema dell'incompletezza dei Principia Mathematica, che Kurt Gödel dimostrò nel 1931.
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 1936 si occupò di definire il concetto di computabilità. Tra le sue teorie più importanti, quella relativa ai sistemi formali e agli insiemi ricorsivamente enumerabili.[1]
Nel 1947 diede la dimostrazione dell'impossibile risoluzione del problema di Thue (problema delle parole per i semigruppi).[1]
Note modifica
- ^ a b Emil Leon Post, in Treccani.it – Enciclopedie on line, Roma, Istituto dell'Enciclopedia Italiana. URL consultato il 12 ottobre 2009.
Bibliografia modifica
- (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
Altri progetti modifica
Wikibooks contiene testi o manuali su Calcolo delle proposizioni
Wikimedia Commons contiene immagini o altri file su Emil Leon Post
Collegamenti esterni modifica
- Post, Emil Leon, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
- Post, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) Emil L. Post, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Emil Leon Post, su MacTutor, University of St Andrews, Scotland.
- (EN) Emil Leon Post, su Mathematics Genealogy Project, North Dakota State University.
- (EN) Opere di Emil Leon Post, su Open Library, Internet Archive.
| Controllo di autorità | VIAF (EN) 41933673 · ISNI (EN) 0000 0001 1059 0700 · SBN MILV117011 · LCCN (EN) n93005763 · GND (DE) 119134942 · BNF (FR) cb124412869 (data) · J9U (EN, HE) 987007384464705171 · WorldCat Identities (EN) lccn-n93005763 |
|---|
