Alfred Tarski

De Viquipèdia
Jump to navigation Jump to search
Infotaula de personaAlfred Tarski
Alfred Tarski.jpeg
Biografia
Naixement 14 gener 1901
Varsòvia
Mort 26 octubre 1983 (82 anys)
Berkeley
Lloc d'enterrament Berkeley
Religió Catolicisme
Educació Universitat de Varsòvia
Activitat
Director de tesi Stanisław Leśniewski Tradueix
Camp de treball Lògica, teoria de models i matemàtiques
Ocupació Matemàtic i filòsof
Ocupador Universitat de Califòrnia a Berkeley
Universitat Harvard
Professors Jan Lukasiewicz
Alumnes Julia Robinson
Obra
Estudiant doctoral Solomon Feferman Tradueix, Haim Gaifman Tradueix, Bjarni Jónsson Tradueix, Howard Jerome Keisler Tradueix, Roger Maddux Tradueix, Richard Montague, Andrzej Mostowski Tradueix, Julia Robinson i Robert Lawson Vaught Tradueix
Premis
Modifica les dades a Wikidata

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 Modifica l'enllaç a Wikidata