Computability, Enumerability, Unsolvability
Directions in Recursion Theory (London Mathematical Society Lecture Note Series)
by S. B. Cooper
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference.
A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource.
Check nearby libraries
Buy this book
Previews available in: English
Showing 4 featured editions. View all 4 editions?
| Edition | Availability |
|---|---|
1
Computability, Enumerability, Unsolvability: Directions in Recursion Theory
2011, Cambridge University Press
in English
0511893132 9780511893131
|
zzzz
Libraries near you:
WorldCat
|
|
2
Computability, Enumerability, Unsolvability: Directions in Recursion Theory
2010, Cambridge University Press
in English
0511629168 9780511629167
|
zzzz
Libraries near you:
WorldCat
|
3
Computability, Enumerability, Unsolvability: Directions in Recursion Theory (London Mathematical Society Lecture Note Series)
January 26, 1996, Cambridge University Press
Paperback
in English
0521557364 9780521557368
|
aaaa
Libraries near you:
WorldCat
|
4
Computability, enumerability, unsolvability: directions in recursion theory
1996, Cambridge University Press
in English
0521557364 9780521557368
|
zzzz
Libraries near you:
WorldCat
|
Book Details
First Sentence
"The finite extension method is a central diagonalization technique in computability theory (see e.g. [Ro67], [Od89], [So87])."
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?Lists
See All-
My library
from ejeandel
| July 18, 2024 | Edited by MARC Bot | import existing book |
| August 13, 2021 | Edited by MARC Bot | import existing book |
| April 9, 2019 | Created by MARC Bot | import existing book |