FILOSOFIA DELLA SCIENZA
cod. 12927

Anno accademico 2007/08
2° anno di corso - Secondo semestre
Docente
Settore scientifico disciplinare
Logica e filosofia della scienza (M-FIL/02)
Field
Filosofia e storia della scienza
Tipologia attività formativa
Caratterizzante
80 ore
di attività frontali
10 crediti
sede:
insegnamento
in - - -

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

- - -