Related Books
Language: en
Pages: 312
Pages: 312
Type: BOOK - Published: 2011 - Publisher: Docent Press
Traces the development of recursive functions from their origins in the late nineteenth century to the mid-1930s, with particular emphasis on the work and influ
Language: en
Pages: 416
Pages: 416
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive fun
Language: en
Pages: 482
Pages: 482
Type: BOOK - Published: 1967 - Publisher:
Language: en
Pages: 460
Pages: 460
Type: BOOK - Published: 1999-11-01 - Publisher: Springer Science & Business Media
..."The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees. .... The definitions, results and pro
Language: en
Pages: 289
Pages: 289
Type: BOOK - Published: 2016-06-20 - Publisher: Springer
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers a