Computability in Europe 2006
Logical Approaches to Computational Barriers
Special Session Talk:
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|