An Early History of Recursive Functions and Computability from Godel to Turing

An Early History of Recursive Functions and Computability from Godel to Turing by Rod Adams 0983700400 9780983700401
Stock Image - Actual Cover May Vary


 

Our Price: $20.49

Quantity:39

 
ISBN: 0983700400


Condition:
New [Add $99.00]
Like-New [Add $0.60]
Very-Good [Add $0.40]
Good [Add $0.20]
Acceptable

Quantity:  
Description
 
An Early History of Recursive Functions and Computability traces the development of recursive functions from their origins in the late nineteenth century, when recursion was first used as a method of defining simple arithmetic functions, up to the mid-1930s, when the class of general recursive functions was introduced by Godel, formalized by Kleene and used by Church in his thesis. The book explains how the proposal given in Churchs 1936 paper, now known as Churchs thesis, first arose and concludes with the consideration of another class of functions, the Turing computable functions, that were specially created to be equivalent to the class of effectively calculable functions. The book includes previously unpublished letters between the author and many of the key historical figures.

Author: Rod Adams

Language: English

Binding: Paperback

Pages: 310

Publisher: Docent Press

Publication Date: 2011-05-28


Share your shopping experience. Write a review here »

Browse for more products in the same category as this item:

Binding > Paperback