Classical Recursion Theory

Classical Recursion Theory
Author :
Publisher : Elsevier
Total Pages : 667
Release :
ISBN-10 : 0080886590
ISBN-13 : 9780080886596
Rating : 4/5 (596 Downloads)

Book Synopsis Classical Recursion Theory by : P. Odifreddi

Download or read book Classical Recursion Theory written by P. Odifreddi and published by Elsevier. This book was released on 1992-02-04 with total page 667 pages. Available in PDF, EPUB and Kindle. Book excerpt: 1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles. Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.


Classical Recursion Theory Related Books

Classical Recursion Theory
Language: en
Pages: 667
Authors: P. Odifreddi
Categories: Computers
Type: BOOK - Published: 1992-02-04 - Publisher: Elsevier

DOWNLOAD EBOOK

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a compre
Classical recursion theory : the theory of functions and sets of natural numbers
Language: en
Pages: 668
Authors: Piergiorgio Odifreddi
Categories: Recursion theory
Type: BOOK - Published: 1999 - Publisher:

DOWNLOAD EBOOK

Classical recursion theory : the theory of functions and sets of natural numbers
Language: en
Pages: 668
Authors: Piergiorgio Odifreddi
Categories: Recursion theory
Type: BOOK - Published: 1989 - Publisher:

DOWNLOAD EBOOK

Classical Recursion Theory
Language: en
Pages: 696
Authors: Piergiorgio Odifreddi
Categories: Computers
Type: BOOK - Published: 1989 - Publisher: Elsevier Health Sciences

DOWNLOAD EBOOK

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a compre
Higher Recursion Theory
Language: en
Pages: 361
Authors: Gerald E. Sacks
Categories: Computers
Type: BOOK - Published: 2017-03-02 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.