Obiettivi formativi
<br />Inegnare come si possano trattare dei problemi epistemologici <br />usando degli strumenti diversi da quelli filosofici tradizionali.
Prerequisiti
<br />si consiglia di superare un esame di Logica.
Contenuti dell'insegnamento
<br />Computazione, Verità e Certezza: macchine di Turing, tesi di <br />Church e Teorema di Godel.
Programma esteso
- - -
Bibliografia
<br />J.N Crossley et al, "Che cos'è la Logica matematica", Boringhieri 1976; Cap. 1, 4, 5.<br />A.M. Turing, "Calcolatori e Intelligenza" in R. Hofstadter e D. Dennett, "L'io della mente", Adelphi 1981.<br />Appunti (fotocopie): Il test di Turing.<br />Appunti (on line): Le macchine di turing. Sul teorema di Godel.
Metodi didattici
Lezioni frontali e discussioni.
Modalità verifica apprendimento
- - -
Altre informazioni
- - -