Computability : computable functions, logic, and the foundations of mathematics
Author(s)
Bibliographic Information
Computability : computable functions, logic, and the foundations of mathematics
Wadsworth, c2000
2nd ed.
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
"With Computability and undecidability--a timeline, the story of the development of computable functions and the undecidability of arithmetic to 1970, Richard L. Epstein."
Includes bibliographical references and index
Description and Table of Contents
Description
Epstein and Carnielli, both logicians who have been collaborating on computability theory for two decades, introduce the philosophical aspects of recursion theory and logic. Opening with a discussion of the philosophical foundations of mathematics, and a presentation of the ideas of whole number, f
by "Nielsen BookData"