(Con le dovute scuse per eventuali invii multipli)
Siete tutti invitati al primo seminario “Per tenersi in FORMA" organizzato dal gruppo di lavoro FORMA di UniGe.
NOTA: l'aula è cambiata rispetto al primo avviso!
Un cordale saluto a tutti.
Armando Tacchella (a nome del gruppo FORMA)
Data: 19 Ottobre 2023
Ora: 14.00 – 15:00
Luogo: DIBRIS, sede di Valletta Puggia, Aula 217
Relatore: Giuseppe Rosolini (DIMA - UniGe)
Titolo: Doctrines of Logic
Abstract: One
of the great achievements in the mathematical work of F.W. Lawvere has
been that of redesigning the algebraic perspective on logic by means of
categories. In a series of seminal papers, he presented a radically new
approach to the algebra of logic, which has been proved extremely
fruitful in the following years. They go under the name of doctrines. We
shall argue that the power of doctrines rests on its unifying aspects,
and we shall present by examples how the structural perspective offers
powerful tools for both theoretical studies and applications.