Gödel filosofo
Le dispense saranno messe in rete progressivamente, dopo le lezioni relative, e per tutto l'anno saranno soggette a
revisione quando necessario.
I singoli
file sono dedicati in genere a un argomento trattato in più di una lezione.
Le prime dispense sono intese a costituire un ripasso e a stabilire una terminologia comune per le nozioni di base di logica. Quindi via via saranno esposti i risultati ottenuti da Gödel in vari campi, senza dimostrazioni, come premessa alla lettura dei testi di carattere più generale.
corso10-1 versione del 9 dicembre 2010
corso10-2 versione del 7 dicembre 2010
corso10-3 versione del 17 gennaio 2011
corso10-4 versione del 17 febbraio 2011
