A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
A version of the Church-Turing Thesis states that every effectively realizable physical system can be defined by Turing Machines ('Thesis P'); in this formulation the Thesis appears an empirical, more than a logico-mathematical, proposition. We review the main approaches to computation beyond Turing definability ('hypercomputation'): supertask, non-well-founded, analog, quantum, and retrocausal computation. These models depend on infinite computation, explicitly or implicitly, and appeardoi:10.1093/bjps/54.2.181 fatcat:xlui5wr4bfhqfeplrj2e4gdawy