Università degli Studi di Napoli Federico II
Scuola Politecnica e delle Scienze di Base
Dipartimento di Matematica e Applicazioni "Renato Caccioppoli"
LOGO FEDERICO II LOGO AQUILA SVEVA
Corsi di Studio in Matematica
Avvisi Presentazione Percorso di laurea Corsi Esami Strutture e Servizi Documenti Iscrizione ai corsi

Logica e Fondamenti di Matematica

Crediti: 9.

Obiettivi formativi: Acquisizione di una visione storico-critica delle teorie e dei metodi della matematica. Teoria "ingenua" ed elementi di teoria assiomatica degli insiemi. La nozione di infinito. Ordinali e cardinali. Concetti fondamentali della logica classica, ruolo della logica nella matematica e rapporti con la lingua naturale.

Contenuti: Dalla teoria ingenua degli insiemi alla crisi dei fondamenti, alla teoria assiomatica. Gli assiomi della teoria ZF. Numeri ordinali e cardinali. Costruzione dei numeri naturali come ordinali finiti e come elementi di una terna di Peano. Induzione e ricorrenza sui naturali e sugli ordinali. Insiemi finiti e infiniti e problematica storico-epistemologica dell'infinito. Costruzione dei sistemi numerici N, Z, Q, R. L'assioma della scelta. L'assioma di fondazione e l'universo U degli insiemi. Cenni ad alcuni sviluppi più recenti. Concetti e risultati fondamentali della logica classica delle proposizioni e dei predicati: linguaggio formale, sintassi/semantica, dimostrazioni, modelli, ecc.

Propedeuticità: Algebra 1, Geometria 1.

Modalità dell'esame: Superamento di una prova orale

Anno Accademico 2019/2020

Docente: Roberto TORTORA.

Semestre: primo.

Programma: consultare l'apposita pagina.

Per cambiare l'anno di interesse, selezionare e premere il pulsante qui di seguito: