Free Delivery Over $100
|
|
|||
|
||||
OverviewThis 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] Full Product DetailsAuthor: Adam Olszewski , Bartosz Brozek , Piotr UrbanczykPublisher: Copernicus Center Press Imprint: Copernicus Center Press Dimensions: Width: 16.80cm , Height: 4.30cm , Length: 23.90cm Weight: 0.885kg ISBN: 9788378860099ISBN 10: 8378860094 Pages: 432 Publication Date: 30 July 2014 Audience: General/trade , General Format: Hardback Publisher's Status: Active Availability: In Print  This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
