Church's Thesis: Logic, Mind and Nature

This collection of essays deals with issues connected with the mathematical hypothesis, Church's Thesis, from both the philosophical and logical perspectives. Readers will learn about the problems present in the theory of computability, with a particular emphasis being placed on the role of Church's Thesis and the various attempts at proving it. The contributions also concern the intuitive notion of computable functions, the general issue of proving theses, hypercomputation, pseudorecursiveness, and the computational modeling of cognition. Moreover, some utilize formal means, such as the first order theory of hereditarily finite sets or the procedural theory of concepts. [Subject: Philosophy, Logic, Mathematics, Computer Science, Cognitive Science]