• An Early History of Recursive Functions and Computability from Godel to Turing See large image

    An Early History of Recursive Functions and Computability from Godel to Turing (Paperback) By (author) Rod Adams, By (author) R J L Adams, Illustrated by Brenda Riddell

    $17.42 - Save $0.57 (3%) - RRP $17.99 Free delivery worldwide Available
    Dispatched in 3 business days
    When will my order arrive?
    Add to basket | Add to wishlist |

    DescriptionAn 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.


Other books

Other books in this category
Showing items 1 to 11 of 11

 

Reviews | Bibliographic data
  • Full bibliographic data for An Early History of Recursive Functions and Computability from Godel to Turing

    Title
    An Early History of Recursive Functions and Computability from Godel to Turing
    Authors and contributors
    By (author) Rod Adams, By (author) R J L Adams, Illustrated by Brenda Riddell
    Physical properties
    Format: Paperback
    Number of pages: 310
    Width: 152 mm
    Height: 226 mm
    Thickness: 18 mm
    Weight: 440 g
    Language
    English
    ISBN
    ISBN 13: 9780983700401
    ISBN 10: 0983700400
    Classifications

    BIC E4L: MAT
    Nielsen BookScan Product Class 3: S7.8
    BIC subject category V2: PBX
    Ingram Subject Code: MA
    Libri: I-MA
    BISAC V2.8: MAT015000
    LC subject heading: , , , , ,
    Thema V1.0: PBX, PBB
    Illustrations note
    black & white illustrations
    Publisher
    Docent Press
    Imprint name
    Docent Press
    Publication date
    28 May 2011