Research Catalog
Hilbert's tenth problem
- Title
- Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis.
- Author
- Matii͡asevich, I͡U. V. (I͡Uriĭ V.)
- Publication
- Cambridge, Mass. : MIT Press, [1993], ©1993.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Request in advance | QA242 .M4213 1993 | Off-site |
Holdings
Details
- Description
- xxii, 264 pages; 24 cm.
- Series Statement
- Foundations of computing
- Uniform Title
- Desi͡atai͡a problema Gilʹberta. English
- Foundations of computing.
- Alternative Title
- Desi͡atai͡a problema Gilʹberta.
- Subject
- Bibliography (note)
- 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
- ocm28424180
- Owning Institutions
- Columbia University Libraries