Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis.

Author
Matii͡asevich, I͡U. V. (I͡Uriĭ V.) [Browse]
Uniform title
Format
Book
Language
English
Published/​Created
Cambridge, Mass. : MIT Press, [1993], ©1993.
Description
xxii, 264 pages ; 24 cm.

Availability

Copies in the Library

Location Call Number Status Location Service Notes
ReCAP - Remote StorageQA242 .M4213 1993 Browse related items Request

    Details

    Subject(s)
    Series
    Foundations of computing. [More in this series]
    Bibliographic references
    Includes bibliographical references and indexes.
    Contents
    • 1. Principal Definitions
    • 2. Exponentiation Is Diophantine
    • 3. Diophantine Coding
    • 4. Universal Diophantine Equations
    • 5. Hilbert's Tenth Problem Is Unsolvable
    • 6. Bounded Universal Quantifiers
    • 7. Decision Problems in Number Theory
    • 8. Diophantine Complexity
    • 9. Decision Problems in Calculus
    • 10. Other Applications of Diophantine Representations
    • App. 1 The Four Squares Theorem
    • App. 2 Chinese Remainder Theorem
    • App. 3 Kummer's Theorem
    • App. 4 Summation of a generalized geometric progression.
    ISBN
    0262132958
    LCCN
    93028107
    OCLC
    28424180
    RCP
    C - S
    Statement on language in description
    Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...

    Supplementary Information