Logical Approaches to Computational Barriers

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 |