2019/2020

2020/2021

DM270

MAT/04 (MATEMATICHE COMPLEMENTARI)

DIPARTIMENTO DI MATEMATICA 'FELICE CASORATI'

MATEMATICA

PERCORSO COMUNE

2°

Secondo Semestre (01/03/2021 - 11/06/2021)

6

48 ore di attività frontale

Italiano

SCRITTO E ORALE CONGIUNTI

ANTONINI SAMUELE (titolare) - 6 CFU

Successioni, serie numeriche, limiti, insiemi numerici classici

Il corso si propone di offrire una riflessione sul metodo matematico, sulle assiomatiche, classica e moderna, sui problemi metateorici esplosi soprattutto nel XX secolo, e sui tentativi di dare soluzione al problema dei fondamenti della matematica.

Metodo assiomatico: concetti primitivi e assiomi. Problemi metateorici dell'assiomatica moderna: coerenza, indipendenza, completezza.
Aritmetica di Peano: indipendenza degli assiomi; definizioni per induzione; addizione, moltiplicazione e ordinamento.
Teoria cantoriana degli insiemi: confronto tra infiniti, insiemi numerabili e più che numerabili. Il teorema di Cantor.
Paradossi e crisi dei fondamenti. Frege e l'antinomia di Russell. Scuole fondazionali classiche: logicismo, intuizionismo, formalismo.
Gli assiomi della teoria degli insiemi di Zermelo-Fraenkel. Costruzione degli insiemi dei numeri interi, razionali, reali con le sezioni di Dedekind e con le successioni di Cauchy.

Lezioni frontali e dialogate sia sulla parte teorica sia sulla risoluzione di problemi ed esercizi.

- Borga, M., Palladino, D. oltre il mito della crisi: fondamenti e filosofia della matematica nel 20 secolo. Brescia, La scuola, 1997.
- Fiori, C., Invernizzi, S. Numeri reali. Pitagora, 1999.
- Dispense del docente

Prova scritta e prova orale volte ad accertare le conoscenze degli argomenti trattati a lezione. Il superamento della prova scritta è necessario per sostenere la prova orale.