Related Books
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: 234
Pages: 234
Type: BOOK - Published: 2020-06-16 - Publisher: Princeton University Press
[Alpha]-c.a. functions -- The hierarchy of totally [alpha]-c.a. degrees -- Maximal totally [alpha]-c.a. degrees -- Presentations of left-c.e. reals -- m-topped
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
Language: en
Pages: 219
Pages: 219
Type: BOOK - Published: 2017-03-02 - Publisher: Cambridge University Press
The first graduate-level treatment of computable analysis within the tradition of classical mathematical reasoning.
Language: en
Pages: 192
Pages: 192
Type: BOOK - Published: 2016-03-02 - Publisher: Princeton University Press
The description for this book, Degrees of Unsolvability. (AM-55), Volume 55, will be forthcoming.