Questo insegnamento di carattere monografico introduce contenuti avanzati nell'ambito della teoria assiomatica degli insiemi e discute il loro uso nella matematica praticata. Gli argomenti specifici sono dettagliati nel programma. l termine dell'insegnamento lo studente conoscerà contenuti avanzati legati agli artomenti dei corso e sarà in grado di riflettere sui loro uso nella matematica praticata. Dovrà essere in grado di produrre argomentazioni e dimostrazioni rigorose e di leggere articoli e testi (anche avanzati) relativi alla materia.
Introduzione alla teoria assiomatica degli insiemi secondo Zermelo e Fraenkel, con particolare attenzione alla prassi matematica. Si includono aspetti di (non)costruttività e (im)predicativitá, nonché metodi di dimostrazione transfiniti, fra cui l'assioma della scelta, il teorema del buon ordinamento ed il lemma di Zorn.
Autore | Titolo | Casa editrice | Anno | ISBN | Note |
Abrusci, Vito Michele & Tortora de Falco, Lorenzo | Logica. Volume 2 - Incompletezza, teoria assiomatica degli insiemi. | Springer | 2018 | 978-88-470-3967-4 | |
Peter Aczel, Michael Rathjen | Notes on Constructive Set Theory | 2010 | |||
Yiannis N. Moschovakis | Notes on Set Theory | Springer | 1994 | 978-1-4757-4155-1 |
Elaborato scritto con presentazione e discussione in aula.
Strada le Grazie 15
37134 Verona
Partita IVA
01541040232
Codice Fiscale
93009870234
© 2021 | Università degli studi di Verona | Credits