Learning objectives
Develop how to handle epistemological problems <br />
<br />
using tools other than the traditional philosophical ones.
Prerequisites
# <br />
<br />
<br />
It is recommended that students have passed an exam in Logic.
Course unit content
<br /># <br />
<br />
<br />
Computation, Truth and Certainty: Turing machines, thesis of <br />
<br />
Church and Godel’s theorem.
Full programme
- - -
Bibliography
# <br />
<br />
<br />
J.N Crossley et al, "Che cos'e la Logica matematica", Boringhieri 1976; Cap. 1, 4, 5. <br />
<br />
A.M. Turing, "Calcolatori e Intelligenza" in R. Hofstadter e D. Dennett, "L'io della mente", Adelphi 1981. <br />
<br />
Notes (photocopies): Turing test: <br />
<br />
Notes (on-line) Turing machines. Godel’s theorem
Teaching methods
Classroom lectures and discussions.
Assessment methods and criteria
- - -
Other information
- - -