Elementi di matematica di base 2
A.A. 2024/2025
Obiettivi formativi
L'insegnamento e' diviso in due parti. La prima fornisce un'introduzione all'analisi e alla formalizzazione del ragionamento matematico, prendendo le mosse da una serie di casi di studio tratti dall'esperienza degli studenti nei corsi di Analisi, Algebra e Geometria e giungendo a presentare gli elementi di base della logica matematica contemporanea. La seconda mette a frutto le conoscenze e le competenze acquisite nella prima per passare in rassegna alcune delle risposte che, nel tempo, sono state date alla domanda: Su cosa si fonda la matematica? In questa rassegna, particolare attenzione e' riservata alla teoria degli insiemi, sia informale che assiomatica.
Risultati apprendimento attesi
Al termine della prima parte dell'insegnamento lo studente sara' in grado di riconoscere, discutere criticamente e utilizzare i principali strumenti logico-matematici presenti in una data dimostrazione. Dopo la seconda parte, lo studente sara' in possesso di conoscenze elementari di teoria degli insiemi, sia ingenua che formalizzata. Lo studente avra' inoltre appreso i tratti essenziali di alcuni approcci alla fondazione della matematica alternativi alla teoria degli insiemi.
Periodo: Secondo semestre
Corso singolo
Questo insegnamento può essere seguito come corso singolo.
Programma e organizzazione didattica
Edizione unica
Responsabile
Periodo
Secondo semestre
Programma
Prima Parte. Cosa vuol dire dimostrare un teorema? Le dimostrazioni alla moviola: casi di studio tratti dal Corso di Laurea in Matematica. La formalizzazione del linguaggio della matematica. La formalizzazione dell'inferenza logica e delle dimostrazioni. Attraverso lo specchio: cenni alla distinzione fra sintassi e semantica nella pratica matematica. A cosa serve formalizzare la matematica?
Seconda Parte. Su cosa si fonda la matematica? Qualche cenno storico: dalla crisi dei fondamenti all'inizio del Novecento ai grandi risultati limitativi degli anni trenta. Gli insiemi: teoria informale, formalizzazione. La teoria degli insiemi come fondamento della matematica. Cenni ad alcuni approcci alternativi ai fondamenti: costruttivismo, teoria delle categorie.
Seconda Parte. Su cosa si fonda la matematica? Qualche cenno storico: dalla crisi dei fondamenti all'inizio del Novecento ai grandi risultati limitativi degli anni trenta. Gli insiemi: teoria informale, formalizzazione. La teoria degli insiemi come fondamento della matematica. Cenni ad alcuni approcci alternativi ai fondamenti: costruttivismo, teoria delle categorie.
Prerequisiti
Nessun prerequisito specifico. Il corso risulterà maggiormente utile agli studenti e alle studetesse che avranno già superato un congruo numero di esami fondamentali della Laurea Triennale in Matematica.
Metodi didattici
Lavagna, diapositive, materiale distribuito a lezione.
Materiale di riferimento
Il materiale sarà discusso all'inizio delle lezioni. Parti dei seguenti riferimenti generali possono essere utili.
1. F. Bellissima e P. Pagli. "La verità trasmessa. La logica attraverso le dimostrazioni matematiche". Sansoni, 1993.
2. R. L. Wilder. "Introduction to the foundations of mathematics". Second edition. Dover, 2012.
3. T. Jech. "Set Theory". Springer, 2003
1. F. Bellissima e P. Pagli. "La verità trasmessa. La logica attraverso le dimostrazioni matematiche". Sansoni, 1993.
2. R. L. Wilder. "Introduction to the foundations of mathematics". Second edition. Dover, 2012.
3. T. Jech. "Set Theory". Springer, 2003
Modalità di verifica dell’apprendimento e criteri di valutazione
Esame orale. L'esame consiste di un colloquio. Il colloquio, in tutto o in parte, potrà essere sostituito da un'attività di approfondimento a scelta fra alcune proposte del docente. L'esame può essere superato, nel qual caso la valutazione è "Approvato", oppure non superato, nel qual caso la valutazione è "Non approvato".
MAT/01 - LOGICA MATEMATICA
MAT/02 - ALGEBRA
MAT/03 - GEOMETRIA
MAT/04 - MATEMATICHE COMPLEMENTARI
MAT/05 - ANALISI MATEMATICA
MAT/06 - PROBABILITA' E STATISTICA MATEMATICA
MAT/07 - FISICA MATEMATICA
MAT/08 - ANALISI NUMERICA
MAT/09 - RICERCA OPERATIVA
MAT/02 - ALGEBRA
MAT/03 - GEOMETRIA
MAT/04 - MATEMATICHE COMPLEMENTARI
MAT/05 - ANALISI MATEMATICA
MAT/06 - PROBABILITA' E STATISTICA MATEMATICA
MAT/07 - FISICA MATEMATICA
MAT/08 - ANALISI NUMERICA
MAT/09 - RICERCA OPERATIVA
Lezioni: 27 ore
Docente:
Marra Vincenzo
Turni:
Turno
Docente:
Marra VincenzoDocente/i
Ricevimento:
Su appuntamento
Dipartimento di Matematica "Federigo Enriques", via Cesare Saldini 50, studio 2048