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
Epistemology versus Ontology
Language: en
Pages: 399
Authors: P. Dybjer
Categories: Philosophy
Type: BOOK - Published: 2012-07-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philos
Physical Computation
Language: en
Pages: 324
Authors: Gualtiero Piccinini
Categories: Computers
Type: BOOK - Published: 2015 - Publisher: Oxford University Press, USA

DOWNLOAD EBOOK

Computation permeates our world, but a satisfactory philosophical theory of what it is has been lacking. Gualtiero Piccinini presents a mechanistic account of w
Philosophy, Computing and Information Science
Language: en
Pages: 303
Authors: Ruth Hagengruber
Categories: History
Type: BOOK - Published: 2015-10-06 - Publisher: Routledge

DOWNLOAD EBOOK

Over the last four decades computers and the internet have become an intrinsic part of all our lives, but this speed of development has left related philosophic
Hilbert's Programs and Beyond
Language: en
Pages: 452
Authors: Wilfried Sieg
Categories: Computers
Type: BOOK - Published: 2013-03-07 - Publisher: Oxford University Press

DOWNLOAD EBOOK

David Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought. In this collection of essays, Wilfried Sieg fr