16 Apr Logica matematica
LOGICA MATEMATICA
Incompletezza e indipendenza di sistemi assiomatici
Docente:
Ludovico Pernazza
Università di Pavia
Per iscriversi: https://tinyurl.com/borromeodad-logicamatematica21
22 aprile 2021 h 18.00
Sistemi formali e deducibilità
29 aprile 2021 h 18.00
Ordinali e cardinali
6 maggio 2021 h 18.00
Gli assiomi di Zermelo-Fränkel, l’assioma della scelta e l’ipotesi del continuo
13 maggio 2021 h 18.00
Teoremi di incompletezza
20 maggio 2021 h 18.00
Modelli minimali e modelli standard
27 maggio 2021 h 18.00
Il metodo del forcing e i teoremi di indipendenza
