ex-Facoltà di Scienze MM. FF. NN.
Università degli studi di Padova
Dettaglio Insegnamento

Organizzazione della didattica

DM270 MATEMATICA
Logica matematica 2
MATHEMATICAL LOGIC 2
6
Curriculum Didattico
frontali esercizi laboratorio Studio individuale
ORE: 32 16 0 102

Frequenza

Facoltativa

Erogazione

Convenzionale

Lingua

Italiano

Periodo

AnnoPeriodo
I anno3 trimestre

Calendario attività didattiche

InizioFine
11/04/201118/06/2011
tipologiaambitosettorecrediti
caratterizzanteFormazione teorica avanzataMAT/016


Responsabile Insegnamento

ResponsabileSSDStruttura
Prof. SAMBIN GIOVANNIMAT/01Dipartimento di Matematica

Altri Docenti

Non previsti.

Attività di supporto alla didattica

Non previste.

Bollettino



Potenzialita\' e limiti teorici del concetto di calcolabilita\' e di metodo assiomatico.


E\' caldamente suggerito, ma non strettamente necessario, aver sostenuto un esame di logica.

Esame scritto con 4-5 semplice esercizi. Eventuale seminario durante il corso.

Italiano

Lezioni tradizionali, seminari su temi specifici svolti dagli studenti.

Sito web del corso.

Teoria della calcolabilita\' e teoremi di incompletezza. Piu\' in dettaglio: Spiegazione informale della nozione di funzione calcolabile. Macchine di Turing, macchine a registri, abaci, funzioni ricorsive. Loro equivalenza e tesi di Church. Insiemi decidibili e ricorsivamente enumerabili. Sistema formale HA per la teoria dei numeri. Rappresentazione delle funzioni ricorsive. Aritmetizzazione della sintassi. Condizioni di Bernays-Hilbert-Loeb. Primo e secondo teorema di incompletezza di Goedel. Indecidibilita\' della logica dei predicati. Conclusioni.

Dispense fornite dal docente.
Aggiornata il 28/05/2013 15:30
N. 10674219     dal 20.07.2007