Corsi di Laurea Corsi di Laurea Magistrale Corsi di Laurea Magistrale
a Ciclo Unico
Scuola di Scienze
MATEMATICA
Insegnamento
FONDAMENTI DELLA MATEMATICA
SCM0014416, A.A. 2017/18

Informazioni valide per gli studenti immatricolati nell'A.A. 2015/16

Principali informazioni sull'insegnamento
Corso di studio Corso di laurea in
MATEMATICA
SC1159, ordinamento 2008/09, A.A. 2017/18
N0
porta questa
pagina con te
Crediti formativi 6.0
Tipo di valutazione Voto
Denominazione inglese FOUNDATIONS OF MATHEMATICS
Sito della struttura didattica http://matematica.scienze.unipd.it/2017/laurea
Dipartimento di riferimento Dipartimento di Matematica
Obbligo di frequenza No
Lingua di erogazione ITALIANO
Sede PADOVA
Corso singolo È possibile iscriversi all'insegnamento come corso singolo
Corso a libera scelta È possibile utilizzare l'insegnamento come corso a libera scelta

Docenti
Responsabile LUIGI TOMASI 000000000000
Altri docenti SAMUELE MASCHIO MAT/01

Dettaglio crediti formativi
Tipologia Ambito Disciplinare Settore Scientifico-Disciplinare Crediti
CARATTERIZZANTE Formazione Teorica MAT/04 6.0

Organizzazione dell'insegnamento
Periodo di erogazione Secondo semestre
Anno di corso III Anno
Modalità di erogazione frontale

Tipo ore Crediti Ore di
didattica
assistita
Ore Studio
Individuale
ESERCITAZIONE 3.0 24 51.0
LEZIONE 3.0 24 51.0

Calendario
Inizio attività didattiche 26/02/2018
Fine attività didattiche 01/06/2018
Visualizza il calendario delle lezioni Lezioni 2019/20 Ord.2008

Commissioni d'esame
Commissione Dal Al Membri
8 Fondamenti della Matematica - a.a. 2019/2020 01/10/2019 30/09/2020 BONOTTO CINZIA (Presidente)
ZOCCANTE SERGIO (Membro Effettivo)
CIRAULO FRANCESCO (Supplente)
MAIETTI MARIA EMILIA (Supplente)
MASCHIO SAMUELE (Supplente)
7 Fondamenti della Matematica - a.a. 2018/2019 01/10/2018 30/09/2019 BONOTTO CINZIA (Presidente)
TOMASI LUIGI (Membro Effettivo)
CIRAULO FRANCESCO (Supplente)
MAIETTI MARIA EMILIA (Supplente)
MASCHIO SAMUELE (Supplente)
6 Fondamenti della Matematica - a.a. 2017/2018 01/10/2017 30/09/2018 TOMASI LUIGI (Presidente)
MASCHIO SAMUELE (Membro Effettivo)
CIRAULO FRANCESCO (Supplente)
MAIETTI MARIA EMILIA (Supplente)
SAMBIN GIOVANNI (Supplente)

Syllabus
Prerequisiti: Nozioni di base di algebra e di geometria. Conoscenze di teoria degli insiemi.
Conoscenze e abilita' da acquisire: Conoscenza di alcune problematiche fondazionali della matematica, prendendo come paradigma alcune assiomatizzazioni della geometria, la costruzione dei numeri reali e la teoria delle categorie.
Modalita' di esame: Prova scritta e prova orale.
Criteri di valutazione: Viene valutata la correttezza formale nella risoluzione degli esercizi e nella dimostrazione dei teoremi inerenti ai contenuti del corso.
Nell’orale sarà valutata la capacità di esporre e discutere in modo corretto e critico i contenuti appresi nel corso.
Contenuti: I principi della costruzione euclidea. L'influenza delle opere di Platone ed Aristotele negli Elementi di Euclide. Definizioni reali e definizioni nominali. L'algebra geometrica.
La teoria delle proporzioni di Eudosso-Euclide.
Applicazione parabolica, ellittica ed iperbolica delle aree.
La trattazione delle grandezze commensurabili ed incommensurabili e la sua influenza nell'opera di Dedekind. Il metodo di esaustione ed il suo rapporto col successivo calcolo integrale.
Evoluzione storica della questione delle parallele. L’opera di Saccheri. Nascita delle geometrie non euclidee. Ruolo di Gauss. La geometria iperbolica. La non contradditorietà (relativa) della geometria iperbolica: il modello di Poincaré. La legittimazione delle geometrie non euclidee.

Il Programma di Erlangen di F. Klein.
Sistemazioni moderne della geometria euclidea. I Grundlagen der Geometrie di D. Hilbert. Il problema della non contraddittorietà della geometria hilbertiana e della indipendenza degli assiomi o dei gruppi di assiomi.
La “crisi dei fondamenti” della matematica. Programma fondazionale di Hilbert.

Campi ordinati e campi ordinati archimedei. Campi ordinati completi. Sezioni di Dedekind. Successioni di Cauchy sui razionali e successioni di Cauchy regolari. Allineamenti in base b.
Corrispondenza tra sezioni, successioni di Cauchy e allineamenti decimali. I numeri reali. Risultati sulla cardinalità dell'insieme R dei numeri reali (algebrici e trascendenti), delle parti di R, dell'insieme delle funzioni da R in R. Cardinalità di sottoinsiemi aperti e chiusi di reali. Irrazionalità di e e di pi greco. Trascendenza di e. Cenni sui teoremi di Dirichlet e di Liouville.

Introduzione alla teoria della categorie: categorie, funtori, trasformazioni naturali, limiti e colimiti, ricorsione in una categoria, strutture interne in una categoria. Cenni su topos e sul rapporto tra teoria degli insiemi e teoria delle categorie.
Attivita' di apprendimento previste e metodologie di insegnamento: Lezioni in aula.
Lezioni dialogate, con la partecipazione degli studenti.
Eventuali indicazioni sui materiali di studio: Oltre ai testi consigliati verrà fornito anche altro materiale di studio (fotocopie, articoli, ecc).
Testi di riferimento:
  • Agazzi, Evandro; Palladino, Dario, Le geometrie non euclidee e i fondamenti della geometria dal punto di vista elementareEvandro Agazzi, Dario Palladino. Brescia: La scuola, 1998. Cerca nel catalogo
  • Borga, Marco; Palladino, Dario, Oltre il mito della crisifondamenti e filosofia della matematica nel 20. secoloMarco Borga, Dario Palladino. Brescia: La scuola, 1997. Cerca nel catalogo
  • MacLane, Saunders, Categories for the working mathematicianSaunders Mac Lane. New York: Springer, 1998. Cerca nel catalogo