Emil Post
Emil Post (polonès: Emil Leon Post) (Augustów, 11 de febrer de 1897 - Nova York, 21 d'abril de 1954) va ser un matemàtic nord-americà, nascut al que actualment és Polònia.
  | |
| Biografia | |
|---|---|
| Naixement | (pl) Emil Leon Post 11 febrer 1897 Augustów (Imperi Rus) |
| Mort | 21 abril 1954 (57 anys) Nova York |
| Sepultura | Cementiri Mount Hebron, Block 39, Ref 18, Sec J, Line 1, Grave 21 40° 43′ 54″ N, 73° 49′ 43″ O / 40.731771°N,73.828595°O |
| Dades personals | |
| Formació | Universitat de Colúmbia (1917–1920) Townsend Harris High School (–1913) City College de Nova York (–1917) |
| Tesi acadèmica | Introduction to a General Theory of Elementary Propositions (1920 ) |
| Director de tesi | Cassius Jackson Keyser |
| Activitat | |
| Camp de treball | Matemàtiques |
| Ocupació | matemàtic, lògic, filòsof, professor d'universitat |
| Ocupador | City College de Nova York (1932–1954) George Washington High School (1927–1932) Universitat Cornell (1924–1927) Universitat de Colúmbia (1921–1924) Universitat de Princeton (1920–1921) |
| Obra | |
Obres destacables | |
| Localització dels arxius | |
| Família | |
| Cònjuge | Gertrude Singer |
| Pares | Arnold J. i Pearl D. Post |
 | |
Vida i Obra modifica
El mateix any del naixement de Post en una petita ciutat de l'est del que actualment és Polònia (aleshores sota sobirania russa), el seu pare, jueu, va emigrar als Estats Units i, set anys després, el 1904, ho va fer la resta de la família, instal·lant-se a Nova York.[1] Post estava molt interessat en l'astronomia, però un accident quan tenia dotze anys li va fer perdre un braç i les previsibles dificultats per manegar un telescopi el van dissuadir d'aquesta orientació.
Va fer els estudis secundaris en un institut per estudiants talentosos i va continuar els estudis al City College de Nova York, en el qual es va graduar el 1917. Des de 1917 fins a 1920 va fer els estudis de matemàtiques a la Universitat de Colúmbia,[2] culminats per una tesi doctoral en la que demostrava la completud del sistema axiomàtic dels Principia Mathematica de Russell i Whitehead.[3] El curs 1920-1921 va estar fent recerca a la universitat de Princeton abans de retornar com professor a Colúmbia, i en aquesta època va patir el primer atac important de la seva malaltia mental que el perseguiria la resta de la seva vida: un trastorn bipolar.
El 1924 va ser nomenat professor de la universitat Cornell, però un nou atac el va convencer de deixar l'ensenyament universitari i va retornar a Nova York per ser professor de secundària, destinant només tres hores diàries a la recerca. El 1935 va ser nomenat professor del City College on va romandre fins a la seva mort el 1954 d'un atac de cor provocat pel tractament d'electroxoc al que es sotmetia per controlar la malaltia mental.
La gran aportació de Post va ser considerar que un sistema de lògica simbòlica pot ser vist com una estructura purament combinatòria.[4] Amb aquesta perspectiva, va fer aportacions importants a la teoria de la computabilitat[5] i a la teoria de la recursió,[6] com, per exemple, el avui anomenat teorema de Post que estableix una relació entre la jerarquia aritmètica i la gradació de Turing.[7] El 1946, en una breu nota de quatre pàgines publicada al Butlletí de la Societat Americana de Matemàtiques,[8] va presentar un problema irresoluble d'extrema simplicitat, que avui coneixem com el Problema de Correspondència de Post.[9]
Referències modifica
- ↑ Urquhart, 2009, p. 617.
- ↑ Urquhart, 2009, p. 618.
- ↑ van Heijenoort, 1967, p. 264.
- ↑ Davis, 1989, p. 134.
- ↑ De Mol, 2013, p. 45.
- ↑ Urquhart, 2009, p. 641.
- ↑ Davis, 1989, p. 136.
- ↑ Urquhart, 2009, p. 648.
- ↑ Halava i Harju, 2020, p. 616.
Bibliografia modifica
- Davis, Martin «Emil Post's contributions to computer science» (en anglès). Proceedings of the IEEE, Vol. 1, 1989, pàg. 134-136. ISSN: 1558-2256.
- De Mol, Liesbeth. «Generating, Solving, and the Mathematics of Homo Sapiens. Emil Post's views on computation.». A: Hector Zenil (ed.). A Computable Universe: Understanding and Exploring Nature as Computation (en anglès). World Scientific, 2013. ISBN 978-981-4374-29-3.
- Halava, Vesa; Harju, Tero «On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem» (en anglès). Acta Cybernetica, Vol. 24, Num. 4, 2020, pàg. 613-623. DOI: 10.14232/actacyb.284625. ISSN: 0324-721X.
- Jackson, Allyn «Emil Post - Psychological Fidelity» (en anglès). Inference, Vol. 4, Num. 2, 2018. ISSN: 2576-4403.
- Urquhart, Alasdair. «Emil Post». A: Dov M. Gabbay, John Woods (eds.). Handbook of the History of Logic. Vol. 5. Logic from Russell to Church (en anglès). North Holland, 2009, p. 617-666. ISBN 978-0-444-51620-6.
- van Heijenoort, Jean. From Frege to Gödel (en anglès). Harvard University Press, 1967. ISBN 0-674-32449-8.
Enllaços externs modifica
- O'Connor, John J.; Robertson, Edmund F. «Emil Post» (en anglès). MacTutor History of Mathematics archive. School of Mathematics and Statistics, University of St Andrews, Scotland.
- Kennedy, Hubert C. «Post, Emil Leon». Complete Dictionary of Scientific Biography, 2008. [Consulta: 23 gener 2021]. (anglès)