skip to content
Classical recursion theory : the theory of functions and sets of natural numbers Preview this item
ClosePreview this item
Checking...

Classical recursion theory : the theory of functions and sets of natural numbers

Author: Piergiorgio Odifreddi
Publisher: Amsterdam ; New York : Elsevier, 1992.
Series: Studies in logic and the foundations of mathematics, v. 125.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Odifreddi, Piergiorgio, 1950-
Classical recursion theory.
Amsterdam ; New York : Elsevier, 1992
(OCoLC)46316149
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Piergiorgio Odifreddi
ISBN: 9780080886596 0080886590
OCLC Number: 316571913
Notes: "First edition 1989"--Title page verso.
Description: 1 online resource (xix, 668 pages) : illustrations.
Contents: Front Cover; Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers; Copyright Page; Foreword; Preface; Preface to the Second Edition; Contents; Introduction; Chapter I. Recursiveness and Computability; Chapter II. Basic Recursion Theory; Chapter III. Post's Problem and Strong Reducibilities; Chapter IV. Hierarchies and Weak Reducibilities; Chapter V. Turing Degrees; Chapter VI. Many-One and Other Degrees; Bibliography; Notation Index; Subject Index.
Series Title: Studies in logic and the foundations of mathematics, v. 125.
Responsibility: Piergiorgio Odifreddi.

Abstract:

Includes a number of applications to logic (in particular Godel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation. This book presents a comprehensive  Read more...

Reviews

Editorial reviews

Publisher Synopsis

G.E. Sacks, Harvard University and M.I.T.Odifreddi has written a delightful yet scholarly treatise... C. CaludeAn impressive presentation of classical recursion theory... highly recommended to Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/316571913> # Classical recursion theory : the theory of functions and sets of natural numbers
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "316571913" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/196181261#Place/amsterdam> ; # Amsterdam
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/196181261#Topic/mathematics_logic> ; # MATHEMATICS--Logic
    schema:about <http://id.worldcat.org/fast/1091982> ; # Recursion theory
    schema:about <http://dewey.info/class/511.35/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/196181261#Topic/mathematics_infinity> ; # MATHEMATICS--Infinity
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/27127695> ; # Piergiorgio Odifreddi
    schema:datePublished "1992" ;
    schema:description "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."@en ;
    schema:description "Front Cover; Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers; Copyright Page; Foreword; Preface; Preface to the Second Edition; Contents; Introduction; Chapter I. Recursiveness and Computability; Chapter II. Basic Recursion Theory; Chapter III. Post's Problem and Strong Reducibilities; Chapter IV. Hierarchies and Weak Reducibilities; Chapter V. Turing Degrees; Chapter VI. Many-One and Other Degrees; Bibliography; Notation Index; Subject Index."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/196181261> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/196181261#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/46316149> ;
    schema:name "Classical recursion theory : the theory of functions and sets of natural numbers"@en ;
    schema:productID "316571913" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/316571913#PublicationEvent/amsterdam_new_york_elsevier_1992> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/196181261#Agent/elsevier> ; # Elsevier
    schema:url <http://www.myilibrary.com?id=175468> ;
    schema:url <http://www.sciencedirect.com/science/bookseries/0049237X/125> ;
    schema:url <http://www.sciencedirect.com/science/book/9780444894830> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=250504> ;
    schema:url <http://www.sciencedirect.com/science/publication?issn=0049237X&volume=125> ;
    schema:workExample <http://worldcat.org/isbn/9780080886596> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/316571913> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/196181261#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/316571913> ; # Classical recursion theory : the theory of functions and sets of natural numbers
    schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/196181261#Topic/mathematics_infinity> # MATHEMATICS--Infinity
    a schema:Intangible ;
    schema:name "MATHEMATICS--Infinity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/196181261#Topic/mathematics_logic> # MATHEMATICS--Logic
    a schema:Intangible ;
    schema:name "MATHEMATICS--Logic"@en ;
    .

<http://id.worldcat.org/fast/1091982> # Recursion theory
    a schema:Intangible ;
    schema:name "Recursion theory"@en ;
    .

<http://viaf.org/viaf/27127695> # Piergiorgio Odifreddi
    a schema:Person ;
    schema:birthDate "1950" ;
    schema:familyName "Odifreddi" ;
    schema:givenName "Piergiorgio" ;
    schema:name "Piergiorgio Odifreddi" ;
    .

<http://worldcat.org/isbn/9780080886596>
    a schema:ProductModel ;
    schema:isbn "0080886590" ;
    schema:isbn "9780080886596" ;
    .

<http://www.worldcat.org/oclc/46316149>
    a schema:CreativeWork ;
    rdfs:label "Classical recursion theory." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/316571913> ; # Classical recursion theory : the theory of functions and sets of natural numbers
    .

<http://www.worldcat.org/title/-/oclc/316571913>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/316571913> ; # Classical recursion theory : the theory of functions and sets of natural numbers
    schema:dateModified "2017-11-01" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.