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.

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