24/01/2023
OSPITE SPECIALE AL NOSTRO EVENTO🫂
Giovanni Sambin - Studioso senior di Logica Matematica dell'Università di Padova
È tra i fondatori della logica della dimostrabilità, la prima ricerca originale di logica in Italia dopo Peano, di cui uno dei primi risultati è il teorema del punto fisso (1976), nominato poi teorema de Jongh-Sambin (fu dimostrato nello stesso periodo da Dick De Jongh con una dimostrazione totalmente diversa).
All’inizio degli anni ’80 scrive gli appunti dell’unico libro di Per Martin-Löf sulla sua Teoria dei Tipi. Da allora, basa tutte le sue ricerche su questa teoria.
È tra i fondatori e primo presidente di AILA, Associazione Italiana di Logica e Applicazioni.
Dal 1990 sviluppa una visione dinamica dei fondamenti della matematica che gli permette di trovare quella che chiamerà Minimalist Foundation.
Dal lavoro con Martin-Löf arriva l’intuizione della Basic Picture, iniziata nel ’95, che è il suo personale contributo alla Teoria dei Tipi e alla matematica costruttiva.
Nel 1995 descrive le costanti logiche (e cioè i connettivi logici “e” “o” “implica” e i quantificatori “esiste” e “per ogni”) con quello che lui chiama Principio di riflessione.
Costruttivista per natura, coltiva da sempre un profondo interesse per le questioni fondamentali.
