Computability: Computable Functions Logic and the Foundations of Math by Richard .L. Epstein, Walter A. Carnielli

Computability: Computable Functions Logic and the Foundations of Math

Richard .L. Epstein, Walter A. Carnielli

320 pages missing pub info (editions)

mathematics informative lighthearted reflective medium-paced
Powered by AI (Beta)
Loading...

Description

An introduction to recursion theory and particularly to the theory of computing, including fourteen readings by Hilbert, Godel, Turing, Post, Church, and others along with a discussion of issues such as self-reference and infinite sets. Annotation...

Read more

Community Reviews

Loading...

Content Warnings

Loading...