Church's Thesis After 70 Years (Hardcover)

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

Imprint:	De Gruyter
Country of origin:	Germany
Series:	Ontos Mathematical Logic
Release date:	June 2006
First published:	2006
Editors:	Adam Olszewski • Jan Wolenski • Robert Janusz
Dimensions:	210 x 148mm (L x W)
Format:	Hardcover - Cloth over boards
Pages:	551
ISBN-13:	978-3-11-032494-5
Categories:	Books > Science & Mathematics > Mathematics > Philosophy of mathematics Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Philosophy > Topics in philosophy > Logic
LSN:	3-11-032494-6
Barcode:	9783110324945

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!