Church's Thesis (CT) was first published by Alonzo Church in 1935.
CT is a proposition that identifies two notions: an intuitive
notion of a effectively computable function defined in natural
numbers with the notion of a recursive function. Despite of the
many efforts of prominent scientists, Church's Thesis has never
been falsified. There exists a vast literature concerning the
thesis. The aim of the book is to provide one volume summary of the
state of research on Church's Thesis. These include the following:
different formulations of CT, CT and intuitionism, CT and
intensional mathematics, CT and physics, the epistemic status of
CT, CT and philosophy of mind, provability of CT and CT and
functional programming.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!