Book contents
- Frontmatter
- Contents
- Acknowledgements
- 1 Introduction
- 2 Diophantine classes: definitions and basic facts
- 3 Diophantine equivalence and Diophantine decidability
- 4 Integrality at finitely many primes and divisibility of order at infinitely many primes
- 5 Bound equations for number fields and their consequences
- 6 Units of rings of W-integers of norm 1
- 7 Diophantine classes over number fields
- 8 Diophantine undecidability of function fields
- 9 Bounds for function fields
- 10 Diophantine classes over function fields
- 11 Mazur's conjectures and their consequences
- 12 Results of Poonen
- 13 Beyond global fields
- Appendix A Recursion (computability) theory
- Appendix B Number theory
- References
- Index
1 - Introduction
Published online by Cambridge University Press: 14 October 2009
- Frontmatter
- Contents
- Acknowledgements
- 1 Introduction
- 2 Diophantine classes: definitions and basic facts
- 3 Diophantine equivalence and Diophantine decidability
- 4 Integrality at finitely many primes and divisibility of order at infinitely many primes
- 5 Bound equations for number fields and their consequences
- 6 Units of rings of W-integers of norm 1
- 7 Diophantine classes over number fields
- 8 Diophantine undecidability of function fields
- 9 Bounds for function fields
- 10 Diophantine classes over function fields
- 11 Mazur's conjectures and their consequences
- 12 Results of Poonen
- 13 Beyond global fields
- Appendix A Recursion (computability) theory
- Appendix B Number theory
- References
- Index
Summary
In the beginning
The subject of this book dates back to the beginning of the twentieth century. In 1900, at the International Congress of mathematicians, David Hilbert presented a list of problems, which exerted great influence on the development of mathematics in the twentieth century. The tenth problem on the list had to do with solving Diophantine equations. Hilbert was interested in the construction of an algorithm which could determine whether an arbitrary polynomial equation in several variables had solutions in the integers. If we translate Hilbert's question into modern terms, we can say that he wanted a program taking coefficients of a polynomial equation as input and producing a “yes” or “no” answer to the question “Are there integer solutions?” This problem became known as Hilbert's Tenth Problem (HTP).
It took some time to prove that the algorithm requested by Hilbert did not exist. At the end of the sixties, building on the work of Martin Davis, Hilary Putnam, and Julia Robinson, Yuri Matiyasevich proved that Diophantine sets over Z were the same as recursively enumerable sets and, thus, that Hilbert's Tenth Problem was unsolvable. The original proof and its immediate implications have been described in detail. The reader is referred to, for example, a book by Matiyasevich (see [52] – the original Russian edition – or [53], an English translation), an article by Davis (see [12]) or an article by Davis, Matiyasevich, and Robinson (see [14]).
- Type
- Chapter
- Information
- Hilbert's Tenth ProblemDiophantine Classes and Extensions to Global Fields, pp. 1 - 8Publisher: Cambridge University PressPrint publication year: 2006