Gabriele Lolli

Dipartimento di Matematica, Università di Torino

Gabriele Lolli ha studiato prima teoria degli insiemi e in seguito applicazioni della logica all'informatica (linguaggi di programmazione logici e logiche per l'Intelligenza Artificiale). Recentemente i suoi interessi si sono rivolti alla filosofia della matematica, e soprattutto al contributo che può dare la logica intesa come metamatematica, in particolare a chiarire le molteplici funzioni e i diversi aspetti della dimostrazione matematica. Fino al 2006 ha insegnato Logica Matematica e Statistica al Dipartimento di Matematica dell'Università di Torino.


© Copyright SISSA - Scuola Internazionale Superiore di Studi Avanzati - Trieste (Italy) - 2001-2011