Related Books

An Early History of Recursive Functions and Computability
Language: en
Pages: 312
Authors: Rod Adams
Categories: Mathematics
Type: BOOK - Published: 2011 - Publisher: Docent Press

DOWNLOAD EBOOK

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
Recursive Functions and Metamathematics
Language: en
Pages: 416
Authors: Roman Murawski
Categories: Philosophy
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive fun
Theory of Recursive Functions and Effective Computability
Language: en
Pages: 482
Authors: Hartley Rogers (Jr.)
Categories:
Type: BOOK - Published: 1967 - Publisher:

DOWNLOAD EBOOK

Recursively Enumerable Sets and Degrees
Language: en
Pages: 460
Authors: Robert I. Soare
Categories: Mathematics
Type: BOOK - Published: 1999-11-01 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

..."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
Turing Computability
Language: en
Pages: 289
Authors: Robert I. Soare
Categories: Computers
Type: BOOK - Published: 2016-06-20 - Publisher: Springer

DOWNLOAD EBOOK

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