Computability
-
Computability: Turing, Gödel, Church, and Beyond
By B. Jack Copeland, Carl J. Posy, Oron ShagrirThis work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics.
-
Computability: Computable Functions, Logic, and the Foundations of Mathematics
By Richard L. EpsteinComputability: Computable Functions, Logic, and the Foundations of Mathematics
-
Computability: An Introduction to Recursive Function Theory
By Nigel CutlandWhat can computers do in principle?
-
Computability: Computable Functions, Logic, and the Foundations of Mathematics
By Richard L Epstein, Walter A CarnielliThis new edition contains the timeline "Computability and Undecidability" as well as the essay "On mathematics".
-
Computability: An Introduction to Recursive Function Theory
By Nigel CutlandThis book is an introduction to computability theory (or recursion theory as it is traditionally known to mathematicians).
-
Computability: Turing, Gödel, Church, and Beyond
By B. Jack Copeland, Carl J. Posy, Oron ShagrirThis work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics.