Search Results

Classical Recursion Theory

Download or Read eBook Classical Recursion Theory PDF 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.
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

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
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.
A Book of Set Theory
Language: en
Pages: 259
Authors: Charles C Pinter
Categories: Mathematics
Type: BOOK - Published: 2014-07-23 - Publisher: Courier Corporation

DOWNLOAD EBOOK

"This accessible approach to set theory for upper-level undergraduates poses rigorous but simple arguments. Each definition is accompanied by commentary that mo
Set Theory for the Working Mathematician
Language: en
Pages: 256
Authors: Krzysztof Ciesielski
Categories: Mathematics
Type: BOOK - Published: 1997-08-28 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Presents those methods of modern set theory most applicable to other areas of pure mathematics.
Scroll to top