Some Remarks on the Physical Interpretation of Church's Thesis
Author: Thomas Piecha (University of Tuebingen)
Local: 510 (RDC)
Time: 11 horas
Church's Thesis ('Every effectively calculable function is recursive') has been interpreted in different ways. One interpretation takes the effectively calculable functions to be those that can be computed by a physical system. This interpretation is relevant in the ongoing discussion about hypercomputation, i.e. systems that can compute non-recursive functions and thereby falsify Church's Thesis.
The talk will first give some background to Church's Thesis by reviewing and criticising the standard arguments for Church's Thesis. After that the physical interpretation is introduced and two simple examples of hypercomputational systems are given. Then the falsifiability of Church's Thesis by hypercomputational systems is discussed and some conceptual problems of the physical interpretation of Church's Thesis are pointed out.