scientific article; zbMATH DE number 1500614
A readable review of the history of Hilbert's 10th problem: is there an algorithm for finding all solutions of diophantine equations? The work of Matiyasevich and Julia Robinson showed that the problem is undecidable: no algorithm exists which, for an arbitrary diophantine equation, will tell us whether the equation has a solution or not. Further developments of the ideas behind the proof of the undecidability are given: diophantine sets of \(n\)-tuples on integers; listable sets; universal diophantine equations; and developing from these the Davis-Robinson-Putnam theorem on the solvability of certain exponential polynomial diophantine equations. There are 27 references. For the entire collection see [Zbl 0940.00005].
- Diophantine equations, Hilbert series, and undecidable spaces
- Reduction of unknowns in diophantine representations
- The Matiyasevich theorem. Preliminaries
- On Rumely's local-global principle
- On a theorem of Matiyasevich
- Does there exist an algorithm which to each Diophantine equation assigns an integer which is greater than the modulus of integer solutions, if these solutions form a finite set?
- More than 1700 years of word equations
- Martin Davis and Hilbert's tenth problem
- Extensions of Hilbert's tenth problem: definability and decidability in number theory
- Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions
- Undecidability in number theory
- MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM
- Classification of Quantifier Prefixes Over Exponential Diophantine Equations
- A Note on Diophantine Representations
- scientific article; zbMATH DE number 468873 (Why is no real title available?)
- Questions of decidability and undecidability in Number Theory
- Extensions of Hilbert's tenth problem
- A reformulation of Hilbert's tenth problem through quantum mechanics
- 48 More Solutions of Martin Davis's Quaternary Quartic Equation
- scientific article; zbMATH DE number 1391739 (Why is no real title available?)
- Hilbert's Tenth Problem in Coq
- Computation paradigms in light of Hilbert's tenth problem
- Algorithms for integral solutions of a class of Diophantine equations
- scientific article; zbMATH DE number 2226422 (Why is no real title available?)
- What can and cannot be done with Diophantine problems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501636)
