Computability in Europe 2006
Logical Approaches to Computational Barriers


Special Session Talk:
Gödel's remarks on Turing's work


Speaker: Andrew Hodges

Abstract

Gödel originally endorsed Turing's 1936 definition of computability, but then, much later, questioned Turing's assumptions about finitely many states of mind. I will discuss this topic in the light of Turing's mechanistic theory of mind as it developed in the 1940s.


websites: Arnold Beckmann 2006-05-07