On Wednesday, December 28, 2006, at the Eastern APA in NYC, we held our session on classical computation and hypercomputation. (For some background, see previous posts.) From my point of view, it went roughly as follows.In my presentation, I argued that in discussions of the Physical Church-Turing Thesis (Physical CT), …
The Church-Turing thesis (CT) says that every function that is computable in an intuitive sense is computable by an ordinary computer. Here are some reasons why you might be interested: 1. In one sense, the CT tells us the limits of physical computation: what can be computed and what cannot. …
This is the title of my talk at the Eastern APA, in the session on Classical Computation and Hypercomputation (see previous post). The other presenter is Oron Shagrir and the commentator is Jack Copeland. Jack is probably the most distinguished philosopher of AI and computation, and Oron is one of …
