Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

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

Speaker: Andrew Hodges


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 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by