FONDAMENTI DI MATEMATICA

MAT/04 - 9 CFU - 1° semestre

Docente titolare dell'insegnamento

MARIA FLAVIA MAMMANA


Obiettivi formativi

L'obiettivo principale del corso è quello fornire agli studenti strumenti concettuali ed operativi che collegano il più possibile quanto studiato nei corsi precedenti. In particolare si intende offrire agli studenti un approccio all'organizzazione logica di una teoria matematica con particolare riguardo alla geometria, all'aritmetica e alla teoria degli insiemi.

In particolare, il corso si propone i seguenti obiettivi:

Conoscenza e capacità di comprensione (knowledge and understanding): Conoscere gli aspetti fondazionali della matematica in merito alla teoria degli insiemi, all’aritmetica, alla geometria.

Capacità di applicare conoscenza e comprensione (applying knowledge and understanding): Applicare il metodo assiomatico alla costruzione dei numeri naturali, e delle geometrie

Autonomia di giudizio (making judgements): Esprimere giudizi sulla bontà della soluzione proposta e valutarne l’efficacia. Acquisizione di capacità critiche negli ambiti della matematica.

 

Abilità comunicative (communication skills): Capacità di comunicare la propria conoscenza matematica.

Capacità di apprendimento (learning skills): Utilizzare le conoscenze acquisite per acquisire nuove conoscenze.


Prerequisiti richiesti

Nessu pre-requisito è richiesto. Sono consigliate conoscenze di elementi di Algebra.



Frequenza lezioni

La frequenza alle lezioni è fortemente consigliata.



Contenuti del corso

Organizzazione logica di una teoria matematica: teorie assiomatiche; calcolo proposizionale e algebra di Boole; calcolo predicativo. Fondamenti di geometria: gli “Elementi” di Euclide; geometrie non-euclidee; i “Grundlagen der Geometrie” di Hilbert; assiomi di continuità e geometria non-archimedea. Fondamenti di aritmetica: Assiomi di Peano e assiomi di Pieri; Successivi ampliamenti del concetto di numero. L’infinito matematico: il problema dell’infinito nella matematica greca; il calcolo infinitesimale; concetto di insieme infinito; teoria degli insiemi di Cantor; cardinalità del numerabile e del continuo; confronto di cardinalità; paradossi della teoria degli insiemi; teoria assiomatica degli insiemi; l’assioma della scelta; segmenti di un insieme ben ordinato; il teorema di Zermelo; proposizioni equivalenti all’assioma della scelta; numeri ordinali e numeri cardinali transfiniti. Le teorie formali: il fenomeno dei paradossi; cenni su logicismo, intuizionismo e formalismo; teorie formali del 1° e del 2° ordine; cenni sul sistema non-standard dei numeri reali; limiti del formalismo.



Testi di riferimento

Attilio Frajese e Lamberto Maccioni (a cura di), Gli Elementi di Euclide, UTET, Torino 1970

D. Hilbert (a cura di) Fondamenti della geometria, Franco Angeli, Milano 2012

E. Agazzi, D. Palladino, Le geometrie non Euclidee e i fondamenti della geometria da un punto di vista elementare, Editrice la scuola, Brescia

Sopra gli assiomi aritmetici, Bollettino dell'Accademia Gioenia Di Scienze Naturali in Catania, 1-2, 1908

M. Kline, Storia della matematica

Durante l'anno vengono forniti agli studenti appunti redatti dal docente contenenti gli argomenti trattati durante le lezioni frontali (su Studium).


Altro materiale didattico

Durante l'anno vengono forniti agli studenti appunti redatti dal docente contenenti gli argomenti trattati durante le lezioni frontali (su Studium).



Programmazione del corso

 *ArgomentiRiferimenti testi
1*L’organizzazione logica di una teoria matematica: teorie assiomatiche; calcolo proposizionale e algebra di Boole; calcolo predicativo.Note del docente 
2*Gli “Elementi” di EuclideAttilio Frajese e Lamberto Maccioni (a cura di), Gli Elementi di Euclide, UTET, Torino 1970; Note del docente 
3*Geometrie non-euclideeE. Agazzi, D. Palladino, Le geometrie non Euclidee e i fondamenti della geometria da un punto di vista elementare, Editrice la scuola, Brescia; Note del docente 
4*“Grundlagen der Geometrie” di Hilbert; assiomi di continuità e geometria non-archimedea. D. Hilbert (a cura di) Fondamenti della geometria, Franco Angeli, Milano 2012; Note del docente 
5*Fondamenti di aritmetica: Assiomi di Peano e assiomi di Pieri; Successivi ampliamenti del concetto di numeroSopra gli assiomi aritmetici, Bollettino dell'Accademia Gioenia Di Scienze Naturali in Catania, 1-2, 1908. Note del docente 
6*Il problema dell’infinito nella matematica greca; il calcolo infinitesimale; concetto di insieme infinitoM. Kline, Storia della matematica; Note del docente 
7*Teoria degli insiemi di Cantor; cardinalità del numerabile e del continuo; confronto di cardinalitàM. Kline, Storia della matematica; Note del docente 
8*Teoria assiomatica degli insiemi; l’assioma della scelta; segmenti di un insieme ben ordinato; il teorema di Zermelo; proposizioni equivalenti all’assioma della sceltaNote del docente 
9*Numeri ordinali e numeri cardinali transfinitiNote del docente 
10*Le teorie formali: il fenomeno dei paradossi; cenni su logicismo, intuizionismo e formalismo; teorie formali del 1° e del 2° ordine; cenni sul sistema non-standard dei numeri reali; limiti del formalismoNote del docente 
* Conoscenze minime irrinunciabili per il superamento dell'esame.

N.B. La conoscenza degli argomenti contrassegnati con l'asterisco è condizione necessaria ma non sufficiente per il superamento dell'esame. Rispondere in maniera sufficiente o anche più che sufficiente alle domande su tali argomenti non assicura, pertanto, il superamento dell'esame.


Verifica dell'apprendimento


MODALITÀ DI VERIFICA DELL'APPRENDIMENTO

l’esame finale consiste in una prova orale


PROVE IN ITINERE

non sono previste prove in itinere


PROVE DI FINE CORSO

La prova finale consiste in una prova orale


ESEMPI DI DOMANDE E/O ESERCIZI FREQUENTI

Assiomi di continuità;

Numeri secondo Pieri e secondo Peano

Teorie assiomatiche




Apri in formato Pdf English version