Alfred Tarski

De Viquipèdia
Salta a la navegació Salta a la cerca
Infotaula de personaAlfred Tarski
Alfred Tarski.jpeg
Modifica el valor a Wikidata
Biografia
Naixement14 gener 1901 Modifica el valor a Wikidata
Varsòvia (Polònia) Modifica el valor a Wikidata
Mort26 octubre 1983 Modifica el valor a Wikidata (82 anys)
Berkeley (Califòrnia) Modifica el valor a Wikidata
Lloc d'enterramentBerkeley Modifica el valor a Wikidata
Dades personals
ReligióCatolicisme Modifica el valor a Wikidata
FormacióUniversitat de Varsòvia Modifica el valor a Wikidata
Activitat
Director de tesiStanisław Leśniewski Modifica el valor a Wikidata
Camp de treballLògica, teoria de models i matemàtiques Modifica el valor a Wikidata
OcupacióMatemàtic i filòsof Modifica el valor a Wikidata
OcupadorUniversitat de Califòrnia a Berkeley
Universitat Harvard Modifica el valor a Wikidata
Membre de
ProfessorsJan Lukasiewicz Modifica el valor a Wikidata
AlumnesJulia Robinson Modifica el valor a Wikidata
Influències
Obra
Estudiant doctoralSolomon Feferman, Haim Gaifman, Bjarni Jónsson (en) Tradueix, Howard Jerome Keisler, Roger Maddux, Richard Montague, Andrzej Mostowski, Julia Robinson i Robert Vaught Modifica el valor a Wikidata
Premis

Alfred Tarski (Varsòvia, 1901 - Berkeley, 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[modifica]

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[modifica]

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:

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