Abstract
Alfred Tarski (1901-1983) is unanimously recognised as one of the greatest logicians in history. His contributions range from set theory to model theory, from the semantics of formal languages to the foundations of geometry, from the algebra of logic to the logic of algebra. This profile gives an overview of his work and its influence.
Alfred Tarski (1901-1983) è unanimemente ritenuto uno dei grandi della storia della logica matematica. I suoi contributi spaziano dalla teoria degli insiemi alla teoria dei modelli, dalla semantica dei linguaggi ai fondamenti della geometria, dall’algebra della logica alla logica dell’algebra. Il profilo che segue cerca di darne resoconto adeguato
Citazione
Carlo Toffalori, “Alfred Tarski”, in “APhEx 8”, 2013, pp. 53.
Numero della rivista
Visualizza e scarica il file PDF
Vai agli indici
AUTORI&AUTRICI
Docente di Logica Matematica presso l'Università di Camerino. I suoi interessi di ricerca comprendono: teoria dei modelli con applicazioni all'algebra, teoria della complessità computazionale, crittografia.