Overview

This 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 Details

9788378860099

Table of Contents

Reviews

Author Information

Tab Content 6

Customer Reviews

Recent Reviews

Countries Available