Classical Recursion Theory
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 appr...
Saved in:
| Main Author | |
|---|---|
| Format | eBook |
| Language | English |
| Published |
North-Holland
04.02.1992
|
| Series | Studies in Logic and the Foundations of Mathematics |
| Subjects | |
| Online Access | Get full text |
| ISBN | 9780444872951 0444872957 |
Cover
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| Author | Odifreddi, P |
| Author_xml | – sequence: 1 fullname: Odifreddi, P |
| BookMark | eNpVj8tKA0EQRTuYgBrnB1xl62Kg39W9lCE-ICBIsg413TUkppmGlBr8ewNx491cDhcO3FsxHetIE9FECFIGGYJ30V9d2FobQEenrkXD_CHPMaCi1DfivivIvE9YFu-Uvo68r-NivaN6_LkTswELU_PXc7F5Wq67l3b19vzaPa5aNNJDOyStMBqLxgQCAIt-UJBczKpX-ryhR0_JZOdUzsF5B6EnRVlnsFJmMxcPFy_ygU68q-WTt9-F-loPvP33x_wCUyQ9xA |
| ContentType | eBook |
| DEWEY | 511.3 |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics |
| EISBN | 9780080886596 0080886590 |
| ExternalDocumentID | 9780080886596 |
| GroupedDBID | 20A 38. AAAAS AAJBF AAORS AAXUO AAYWO AAZNM ABGWT ABLXK ABMAC ABQQC ACXMD ADCEY AGAMA AJLYV ALMA_UNASSIGNED_HOLDINGS APUXA AUHWD CETPU D8I HGY IPK KZNKS MYL SDK |
| ID | FETCH-LOGICAL-a3067-fc21a934a338e7774a6f17c59d1b1221aa6a6ec3d551dd856578be1ed2d7400d3 |
| ISBN | 9780444872951 0444872957 |
| IngestDate | Mon Apr 07 07:48:09 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a3067-fc21a934a338e7774a6f17c59d1b1221aa6a6ec3d551dd856578be1ed2d7400d3 |
| PageCount | 649 |
| ParticipantIDs | askewsholts_vlebooks_9780080886596 |
| PublicationCentury | 1900 |
| PublicationDate | 1992-02-04 |
| PublicationDateYYYYMMDD | 1992-02-04 |
| PublicationDate_xml | – month: 02 year: 1992 text: 1992-02-04 day: 04 |
| PublicationDecade | 1990 |
| PublicationSeriesTitle | Studies in Logic and the Foundations of Mathematics |
| PublicationYear | 1992 |
| Publisher | North-Holland |
| Publisher_xml | – name: North-Holland |
| SSID | ssj0000371902 ssj0000123081 |
| Score | 1.7730483 |
| Snippet | 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... |
| SourceID | askewsholts |
| SourceType | Aggregation Database |
| SubjectTerms | Recursion theory |
| Title | Classical Recursion Theory |
| URI | https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9780080886596&uid=none |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEA62XuzJJ1ofFPEa2WeSPXgStQh6kBbqqeQxgaKs0K4e_PVOss-KBxWWsEmWbDKzZL-ZzIOQC0itjpnSFAASmvBY0SwIFAUDNkuFYtqne3t4ZONpcj9LZ22aLe9dUqhL_fmjX8l_uIptyFfnJfsHzjaDYgPeI3-xRA5j-Q38NtUqpoDDvJ68T05f7jRerZd9qTQ1C7sEYxatD5ebEqyuKstBp-hwiZZ1Y0PZZliqDGPqgK4d1UBpRopXqxr0Jz907L6nvLYQKuVGFyROIKyuYr2uB5x2_YgjhWBpxnqkx7lPTH_33OiuHA4LKn9VX4854gov9NYD8zq4Uf2iARnI1Qtu3LipF6vOP3yyTTbBOXbskA3Id8mgs7w9MmwIOmoIOioJuk-mtzeT6zGtskZQ6cQfanUUyixOJArfgHNPJLMh12lmQhVG2CeZZKBjg1jRGOGOfYWCEExkOG5oJj4g_fwth0MyCmSYKptEQQoiUYILC5kUCOI0j23CzBE576xp_vHqD7hX8zUKDn_z0DHZahl4QvrF8h1OEe0U6syT_gvJIP4t |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Classical+Recursion+Theory&rft.au=Odifreddi%2C+P&rft.series=Studies+in+Logic+and+the+Foundations+of+Mathematics&rft.date=1992-02-04&rft.pub=North-Holland&rft.isbn=9780444872951&rft.externalDocID=9780080886596 |
| thumbnail_m | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97800808%2F9780080886596.jpg |