[FOM] History of computable functions

Arnold Neumaier Arnold.Neumaier at univie.ac.at
Thu Nov 5 10:30:25 EST 2009


Billy Hudson wrote:
> Epstein and Carnielli provide a 28 page annotated timeline, "Computability
> and Undecidability a Timeline: The story of the development of the theory of
> computable functions and the undecidability of arithmetic to 1970" in the
> back of their book:
> 
> "Computability: Computable Functions, Logic, and the Foundations of
> Mathematics",
> 3rd edition,
> Published by Advanced Reasoning Forum (ARF)
> 2008
> ISBN: 978-0-9815507-2-5
> 
> The text itself is replete with historical and philosophical discussions
> that accompany the technical details.

A review of the book and the Apopendix is at
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.18.3677&rep=rep1&type=pdf


Arnold Neumaier



More information about the FOM mailing list