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

Adams, Rod, Riddell, Brenda

ISBN 10: 0983700400 / ISBN 13: 9780983700401

Published by Docent Press, 2011

About this Item

*Price HAS BEEN REDUCED by 10% until Tuesday, Sept. 8 (SALE item)* 310 pp., paperback, fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Seller Inventory # ZB1353405

Bibliographic Details

• Title: An Early History of Recursive Functions and Computability from Godel to Turing
• Publisher: Docent Press
• Publication Date: 2011
• Language: English
• ISBN 10: 0983700400
• ISBN 13: 9780983700401
• Binding: Soft cover
• Illustrator: Riddell, Brenda
• Condition: Fine

About this title

Synopsis

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-1930's, 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 Church's 1936 paper, now known as Church's 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.

About the Author

Rod Adams received his PhD from the School of Information Sciences at The Hatfield Polytechnique under the supervision of Dr. Dale Johnson. Dr. Adams is currently a Professor of Neural Computation at the University of Hertfordshire.