Laurea Magistrale in Logica, Filosofia e Storia della Scienza - Dipartimento di Lettere e Filosofia

Idee fondamentali e tecniche che stanno alla base dei risultati di
indecidibilità e incompletezza: teoria della ricorsività; indagini
metalogiche sui sistemi formali. Introduzione alla logica del secondo
ordine e la questione dei modelli non-standard.

Anno accademico: 2019-2020