Church's Thesis After 70 Years

Church's Thesis After 70 Years
Author :
Publisher : Walter de Gruyter
Total Pages : 551
Release :
ISBN-10 : 9783110325461
ISBN-13 : 3110325462
Rating : 4/5 (462 Downloads)

Book Synopsis Church's Thesis After 70 Years by : Adam Olszewski

Download or read book Church's Thesis After 70 Years written by Adam Olszewski and published by Walter de Gruyter. This book was released on 2013-05-02 with total page 551 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Church's Thesis After 70 Years Related Books

Church's Thesis After 70 Years
Language: en
Pages: 551
Authors: Adam Olszewski
Categories: Philosophy
Type: BOOK - Published: 2013-05-02 - Publisher: Walter de Gruyter

DOWNLOAD EBOOK

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 computa
Ways of Proof Theory
Language: en
Pages: 495
Authors: Ralf Schindler
Categories: Philosophy
Type: BOOK - Published: 2013-05-02 - Publisher: Walter de Gruyter

DOWNLOAD EBOOK

On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a col
How the World Computes
Language: en
Pages: 773
Authors: Barry S. Cooper
Categories: Computers
Type: BOOK - Published: 2012-05-28 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge
Computing and Philosophy
Language: en
Pages: 282
Authors: Vincent C. Müller
Categories: Philosophy
Type: BOOK - Published: 2015-12-16 - Publisher: Springer

DOWNLOAD EBOOK

This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference trad
Computability
Language: en
Pages: 373
Authors: B. Jack Copeland
Categories: Computers
Type: BOOK - Published: 2015-01-30 - Publisher: MIT Press

DOWNLOAD EBOOK

Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developmen