Alfred Tarski

Alfred Tarski

(1968)
Biografia
Naixement	(pl) Alfred Tajtelbaum 14 gener 1901 Varsòvia (Tsarat de Polònia)
Mort	26 octubre 1983 (82 anys) Berkeley (Califòrnia)
Sepultura	Berkeley
President Association for Symbolic Logic
1944 – 1946 ← Cooper Harold Langford – Ernest Nagel →
Dades personals
Religió	Catolicisme
Formació	Universitat de Varsòvia (1918–1924) Szkoła Mazowiecka (1915–1918)
Tesi acadèmica	O wyrazie pierwotnym logistyki  (1924 )
Director de tesi	Stanisław Leśniewski
Activitat
Camp de treball	Lògica, teoria de models i matemàtiques
Ocupació	matemàtic, filòsof
Ocupador	Universitat de Califòrnia a Berkeley (1942–1973) Institut d'Estudis Avançats de Princeton (1941–1942) City College de Nova York (1940–1940) Universitat Harvard (1939–1941) Liceu Stefana Żeromskiego (1925–1939) Universitat de Varsòvia (1924–1939)
Membre de	Acadèmia Nacional de Ciències dels Estats Units (1965–) Acadèmia Americana de les Arts i les Ciències Reial Acadèmia d'Arts i Ciències dels Països Baixos
Professors	Jan Lukasiewicz
Alumnes	Jan Kalicki
Influències	Charles Sanders Peirce
Obra
Obres destacables Teorema de preservació de Łoś-Tarski Problema de quadrar el cercle de Tarski axiomatització dels Reals de Tarski axiomes de Tarski problema de la funció exponencial de Tarski algorisme de Tarski-Kuratowski Problema d'àlgebra d'institut de Tarski grup de Tarski Teoria semàntica de la veritat àlgebra de Lindenbaum-Tarski teorema de Tarski teorema de Knaster-Tarski àlgebra de Jónsson-Tarski teorema d'incompletesa de Tarski Problema dels plans de Tarski Teorema de Tarski-Seidenberg (1924) Paradoxa de Banach-Tarski
Estudiant doctoral	Solomon Feferman, Haim Gaifman, Bjarni Jónsson, Jerome Keisler, Roger Maddux, Richard Montague, Andrzej Mostowski, Julia Robinson, Robert Vaught, George McNulty, James Monk, Frederick Thompson, Wanda Szmielew, Leonard Gillman, Anne Morel, Don Pigozzi, Edgar C. Smith, Jr., John Doner, Louise Lim, Robert Bradford, Haragauri Gupta, Judith (Kan) Ng, Charles Martin, William Hanf, Benjamin Wells, III i Chen Chung Chang
Localització dels arxius	Biblioteca Bancroft BANC MSS 84/69 c
Premis (1941, 1942, 1955)  Beca Guggenheim

Alfred Tarski (Varsòvia, 14 de gener de 1901 - Berkeley, 26 d'octubre de 1983) va ser un filòsof polonès especialitzat en lògica i un matemàtic destacat. Va haver de deixar el seu país per l'avanç dels nazis (era de família jueva) i es va refugiar als Estats Units fins a la seva mort.

Pensament

Va escriure més de 2500 pàgines sobre matemàtiques, sobretot de teoria de grups i geometria. Posteriorment es va ocupar de l'àlgebra. En lògica va seguir Charles Sanders Peirce en la relació dels signes i va redefinir el concepte de deducció, cosa que va permetre formalitzar la metamatemàtica. Igualment va destacar pel seu concepte de veritat semàntica (que va influir en els treballa de Donald Herbert Davidson i Karl Popper, entre d'altres). Segons el valor de veritat hi havia diversos tipus d'elements lògics: individus, funcions, predicats, quantificadors, conjunts i nocions de segon ordre.

Llegat

Una prova de la importància del seu llegat és la quantitat de teoremes i conceptes que porten el seu nom, entre els quals destaquen:

• Teorema Knaster–Tarski
• Teorema de Tarski
• Paradoxa de Banach-Tarski: que demostra que una esfera pot descompondre's en un nombre finit de peces i esdevenir dues boles iguals a la primera
• Axiomes de Tarski
• Algorisme Tarski–Kuratowski

Bibliografia

• Brozek, Anna «Dwaj Wielcy Warszawiacy: Wladislaw Tatarkiewicz i Alfred Tarski» (en polonès). Edukacja Filozoficzna, Vol. 64, 2017, pàg. 99-119. ISSN: 0860-3839.
• Feferman, Anita Burdman; Feferman, Solomon. Alfred Tarski: Life and Logic (en anglès). Cambridge University Press, 2004. ISBN 0-521-80240-7. 
• Frost-Arnold, Greg. Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science (en anglès). Open Court, 2013. ISBN 978-0-8126-9837-4. 
• Gruber, Monica. Alfred Tarski and the "Concept of Truth in Formalized Languages" (en anglès). Springer, 2016. ISBN 978-3-319-32614-6. 
• McFarland, Andrew; McFarland, Joanna; Smith, James T. Alfred Tarski: Early Work in Poland - Geometry and Teaching (en anglès). Birkhäuser, 2014. ISBN 978-1-4939-1473-9. 
• Murawski, Roman. The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland (en anglès). Birkhäuser, 2014. ISBN 978-3-0348-0830-9. 
• Patterson, Douglas. New Essays on Tarski and Philosophy (en anglès). Oxford University Press, 2008. ISBN 978-0-1916-0883-4. 
• Patterson, Douglas. Alfred Tarski: Philosophy of Language and Logic (en anglès). Palgrave MacMillan, 2012. ISBN 978-0-230-22121-5. 
• Pla i Carrera, Josep «Alfred Traski i la teoria de conjunts». Theoria: an international journal for theory, history and foundations of science, Vol. 4, Num. 11, 1989, pàg. 343-417. ISSN: 0495-4548. JSTOR: 23915672.
• Polkowski, Lech T. «From Leśniewski, Łukasiewicz, Tarski to Pawlak: Enriching Rough Set Based Data Analysis. A Retrospective Survey» (en anglès). Fundamenta Informaticae, Vol. 154, Num. 1-4, 2017, pàg. 343-358. DOI: 10.3233/FI-2017-1570. ISSN: 0169-2968.
• Wolenski, Jan; Köhler, Eckerhart. Alfred Tarski and the Vienna Circle (en anglès). Springer, 1999. ISBN 978-90-481-5161-5. 

Enllaços externs

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Alfred Tarski

• O'Connor, John J.; Robertson, Edmund F. «Alfred Tarski» (en anglès). MacTutor History of Mathematics archive. School of Mathematics and Statistics, University of St Andrews, Scotland.
• Moore, Gregory H. «Tarski, Alfred». Complete Dictionary of Scientific Biography, 2008. [Consulta: 9 abril 2021]. (anglès)
• «Alfred Tarski». Encyclopaedia Britannica, 1998. [Consulta: 9 abril 2021]. (anglès)
• «Alfred Tarski». Wikisofia, 2018. [Consulta: 9 abril 2021]. (català)
• Gómez Torrente, Mario. «Alfred Tarski». Stanford Encyclopedia of Philosophy Archive, 2015. [Consulta: 9 abril 2021]. (anglès)
• «Alfred Tarski». NNDB, 2019. [Consulta: 9 abril 2021]. (anglès)