LM1 - Logica matematica 1, complementi di logica classica

(Insegnamento mutuato dalla Facoltà di Lettere e Filosofia)

Proff. Lorenzo Tortora de Falco e Vito Michele Abrusci

DM, Stanza 300 tel. 06 5488 8223       tel. 06 5457 7419

e-mail: tortora@uniroma3.it                          e-mail: abrusci@phil.uniroma3.it

Teorema di eliminazione del taglio (dimostrazione completa)Applicazioni dei teoremi di compattezza, completezza, eliminazione del taglioTeorema di Herbrand e risoluzioneFunzioni ricorsive Decidibilità: esempi di teorie decidibili (OLDSE)Aritmetica di Peano e teoremi di incompletezza di Gödel

II Semestre Crediti: 6 Prerequisiti: MC2, MC4

Insegnamento valido per la PFA

Programma esteso: [Versioni disponibili:  PDF]