Classical Recursion Theory

Classical Recursion Theory
Author :
Publisher : Elsevier
Total Pages : 667
Release :
ISBN-10 : 0080886590
ISBN-13 : 9780080886596
Rating : 4/5 (90 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
Recursion Theory
Language: en
Pages: 409
Authors: Chi Tat Chong
Categories: Mathematics
Type: BOOK - Published: 2015-08-17 - Publisher: Walter de Gruyter GmbH & Co KG

DOWNLOAD EBOOK

This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of t