Find a copy in the library
Finding libraries that hold this item...
Details
| Document Type: | Book |
|---|---|
| All Authors / Contributors: |
I︠U︡ V Matii︠a︡sevich |
| ISBN: | 0262132958 9780262132954 |
| OCLC Number: | 28424180 |
| Description: | xxii, 264 p. ; 24 cm. |
| 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. |
| Series Title: | Foundations of computing |
| Other Titles: | Desi︠a︡tai︠a︡ problema Gilʹberta. |
| Responsibility: | Yuri V. Matiyasevich ; with a foreword by Martin Davis. |
Reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "Hilbert's tenth problem".
Be the first.
