Emil Leon Post
Emil Leon Post ( Augustow , 11 februarie 1897 - New York , 21 aprilie 1954 ) a fost un matematician și logician american original polonez .
Biografie
S-a născut într-o familie evreiască poloneză care a emigrat în America când era încă un copil. După ce și-a terminat doctoratul în matematică la Universitatea Columbia , a făcut un postdoc la Universitatea Princeton . Aici s-a ocupat de tema incompletitudinii Principiei Mathematica , pe care Kurt Gödel a demonstrat-o în 1931 .
Ulterior a devenit profesor de matematică la New York . În 1936 a intrat în departamentul de matematică la City College din New York , unde a rămas până la moarte.
În teza sa de doctorat de la Universitatea Columbia, Post a demonstrat, printre altele, că calculul propozițional al Principia Mathematica este complet: adică toate tautologiile sunt teoreme , demonstrabile având în vedere axiomele Principiei , regulile de substituție și modus ponens. .
În 1936 s-a ocupat de definirea conceptului de calculabilitate . Printre cele mai importante teorii ale sale, cea referitoare la sistemele formale și la seturile recursiv enumerabile . [1]
În 1947 a demonstrat rezolvarea imposibilă a problemei Thue (cuvânt problemă pentru semigrupuri). [1]
Notă
- ^ a b Emil Leon Post , în Treccani.it - Enciclopedii online , Institutul Enciclopediei Italiene. Accesat la 12 octombrie 2009 .
Bibliografie
- ( EN ) Emil Leon Post, Lucrări 1927-1991 , American Philosophical Society, Philadelphia, Pennsylvania.
- ( EN ) Martin Davis, The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions Cărți Dover despre matematică , Publicații Courier Dover, 2004, pp. 288-406. ISBN 0-486-43228-9 , ISBN 978-0-486-43228-1
- ( EN ) Martin Davis, Emil L. Post: 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
Alte proiecte
-
Wikibooks conține texte sau manuale despre Calculul propunerilor -
Wikimedia Commons conține imagini sau alte fișiere pe Emil Leon Post
linkuri externe
- Emil Leon Post , pe Treccani.it - Enciclopedii online , Institutul Enciclopediei Italiene .
- ( EN ) Emil Leon Post , în Encyclopedia Britannica , Encyclopædia Britannica, Inc.
- ( EN ) Emil Leon Post , pe MacTutor , Universitatea din St Andrews, Scoția.
- ( EN ) Emil Leon Post , la Mathematics Genealogia Project , North Dakota State University.
- ( RO ) Lucrări de Emil Leon Post , în Biblioteca Deschisă , Arhivă Internet .
| Controlul autorității | VIAF (EN) 41.933.673 · ISNI (EN) 0000 0001 1059 0700 · LCCN (EN) n93005763 · GND (DE) 119 134 942 · BNF (FR) cb124412869 (data) · WorldCat Identities (EN) lccn-n93005763 |
|---|
