KnowraHilbert's tenth problemLinked fromLinked fromThe 8 pages that link to Hilbert's tenth problem, each with the reason it gives.All 8Broader topic 4Related 3Narrower topic 1David HilbertBroader topic: Hilbert posed it as one of his 23 problems; its negative solution came decades later.Diophantine equationRelated: It framed the decision problem for integer polynomial equations in the twentieth century.Computability theoryBroader topic: Its undecidability demonstrates limits on algorithmic solutions to questions in number theory.Peano arithmeticRelated: Its undecidability connects Diophantine equations to the limits of formal arithmetic.Undecidable problemBroader topic: Its undecidability shows that a natural arithmetic question has no universal algorithm.Hilbert's problemsBroader topic: Its negative solution turned one of Hilbert's challenges into a boundary of computation.Julia RobinsonNarrower topic: Robinson devoted decades to showing that no such decision algorithm can exist.Theoretical computer scienceRelated: Its undecidability helped establish that some precise mathematical questions have no algorithmic solution.