Aritmetizzazione della sintassi; aritmetiche con assiomatizzazioni minime per ottenere sufficiente rappresentabilità. Indecibilità, incompletezza di teorie effettive sufficientemente ricche. Indimostrabilità della consistenza all'interno di una teoria assiomatizzabile sufficientemente ricca.
Il calcolo dei sequenti LK. Relazioni con i sistemi alla Hilbert. L'eliminazione del taglio.Proprietà della sottoformula e consistenza del calcolo puro dei predicati. Eliminazione del taglio per teorie matematiche del I ordine.
Intuizionismo, Interpretazione BHK. Il calcolo dei sequenti LJ. Relazioni tra logica classica e logica intuizionista. Intuizionismo e teoria dei tipi. La logica lineare (cenni)
Aritmetizzazione della sintassi; aritmetiche con assiomatizzazioni minime per ottenere sufficiente rappresentabilità. Indecibilità, incompletezza di teorie effettive sufficientemente ricche. Indimostrabilità della consistenza all'interno di una teoria assiomatizzabile sufficientemente ricca.
Il calcolo dei sequenti LK. Relazioni con i sistemi alla Hilbert. L'eliminazione del taglio.Proprietà della sottoformula e consistenza del calcolo puro dei predicati. Eliminazione del taglio per teorie matematiche del I ordine.
Intuizionismo, Interpretazione BHK. Il calcolo dei sequenti LJ. Relazioni tra logica classica e logica intuizionista. Intuizionismo e teoria dei tipi. La logica lineare (cenni)
Prova scritta
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
