Logica matematica

dall'a.a. 2020-21

I percorsi di Logica Matematica si inseriscono nel curriculum Teorico. Questi percorsi preparano ad una comprensione critica e profonda della Matematica e più in generale educano e sviluppano alla chiarezza intellettuale. Queste sono competenze apprezzate e spendibili in molti ambiti lavorativi, anche al di fuori dell'accademia, in particolare nel campo dell’Informatica. Una parte della Logica Matematica (Teoria degli Insiemi e Teoria dei Modelli) si occupa del concetto di definibilità. Questa nozione appare implicitamente in moltissimi contesti, come Algebra, Geometria, Topologia e Analisi, e il suo studio sistematico porta in particolare ad applicazioni in tali ambiti. Un’altra parte della Logica si interessa invece degli aspetti metamatematici e ha applicazioni sia nell’Informatica che nella Filosofia della Matematica. Proponiamo due percorsi monotematici e un terzo orientato verso gli aspetti filosofici e storici della Logica Matematica:

Si possono inoltre creare dei percorsi orientati verso l’Informatica Teorica. Gli studenti interessati si possono rivolgere al prof. Matteo Viale.

Le attività del gruppo di Logica Matematica di Torino sono consultabili alla pagina web: http://logicatorino.altervista.org