Seminari degli Studenti di Logica - 'L'interpretazione "Dialectica" di Godel'

Tuesday, November 18, 2014
Ora Inizio: 
17:00
Ora Fine: 
19:00
Gianluca Grilletti
Università di Pisa

Questo seminario è il primo di un ciclo di seminari organizzati da alcuni studenti di logica matematica e nei quali verranno proposti argomenti tipicamente non affrontati nel corso di studi. Sebbene siano rivolti principalmente ad altri studenti, tutti gli interessati sono invitati a partecipare.

Abstract: con questo seminario verrà introdotta la teoria
dell’aritmetica intuizionista ed in particolare gli aspetti costruttivi
di tale teoria.
Si mostrerà inoltre come una dimostrazione classica possa essere
interpretata intuizionisticamente, e come a sua volta una dimostrazione
intuizionista di una formula possa essere interpretata attraverso un
“programma” che attesti la verità di tale formula. Infine si
presenteranno alcuni risultati che si possono ricavare da tali
interpretazioni e che legano aritmetica classica e intuizionistica.