Real Numbers and Hypercomputation

A topic that has received increasing attention in the last few years is hypercomputation (see also the Wikipedia article), a term coined by Jack Copeland for the computation of functions that are not computable by Turing machines.  Real numbers are often invoked in recipes for hypercomputation.  I have tried to explain my skepticism …

The Physical Church-Turing Thesis

I’ve just finished a paper corresponding more or less to my 2005 Eastern APA talk on the Physical Church-Turing thesis.  The topic is a bit far from the concerns of mainstream philosophers of mind, but still relevant.  It’s about what can be physically computed, which is relevant to what can …

Online Lectures by Davis, Kripke, and McCarthy

Oron Shagrir informed me that three of the lectures from the recent Workshop on the Origins and Nature of Computation that took place in Jerusalem and Tel Aviv have been posted online, courtesy of the Van Leer Jerusalem Institute.Martin Davis, “The Church-Turing Thesis: Consensus and Opposition“Saul Kripke, “From Church’s Thesis to …

Back to Top