Computability: computable
functions, logic and the foundations of mathematics, with the timeline Computability and Undecidability.
Second edition. Wadsworth/Thomson Learning, Belmont, CA, 2000. |

(Google books) (Amazon) This is one of the most approachable textbooks concerning the difficult
fundamental logical problems such as computability, undecidability, incompleteness,
consistency, followed by the corresponding philosophical background, written
by two world-renowned logicians [for a review of the first edition (Wadsworth,
Pacific Grove, CA, 1989), see Zbl 0685.03001]. This second edition includes
a number of technical corrections of the first edition, as well as a historical
overview of computability theory and undecidability of arithmetic up to 1970,
containing all crucial facts necessary to understand properly this part of
the evolution history of computability and (un)decidability notions. [B.
Boricic (Beograd)] |