Alfred Tarski è unanimemente ritenuto uno dei grandi della storia della logica matematica. I suoi contributi variano 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 cerca di darne resoconto adeguato.

Alfred Tarski

TOFFALORI, Carlo
2013-01-01

Abstract

Alfred Tarski è unanimemente ritenuto uno dei grandi della storia della logica matematica. I suoi contributi variano 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 cerca di darne resoconto adeguato.
2013
262
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/312187
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact