Fondamenti della Matematica
per il corso di Laurea breve in Matematica
a.a. 2012/2013
docente Silvio Valentini
Periodo
Il corso si svolgera` nel secondo semestre.
Prerequisiti
Questo corso non richiede alcun prerequisito.
Scopo del corso
Lo scopo principale del corso è quello di illustrare la rilevanza dell'assioma dell'infinito e di quello
della scelta nello sviluppo matematico.
Programma del corso
Dopo alcuni brevi richiami sulla teoria degli insiemi, si analizza dapprima il ruolo dell'assioma dell'infinito
mostrando l'equivalenza tra teoria degli insiemi finiti con l'aritmetica di Peano, si mostra quindi che esistono
proposizioni vere esprimibili in tale linguaggio ma che sono dimostrabili solo utilizzando l'intera teoria degli
insiemi.
La seconda parte del corso riguarda invece l'assioma della scelta: se ne analizzano i principali equivalenti e
se ne mostra la necessità per ottenere alcuni risultati di matematica di base.
Testi di riferimento
Dispense del docente
[Back]