Tiende probleem van Hilbert

Uit testwiki
Naar navigatie springen Naar zoeken springen

Het tiende probleem van Hilbert is het tiende op de lijst van 23 problemen van Hilbert, een agenda voor de wiskunde van de 20e eeuw, die in 1900 door de Duitse wiskundige David Hilbert werd opgesteld. De formulering van het tiende probleem van Hilbert is als volgt:

Sjabloon:Cquote

Een diofantische vergelijking is een vergelijking van de vorm

p(x1,x2,,xn)=0,

waarin p een polynoom is met geheeltallige coëfficiënten. Het duurde vele jaren voor het probleem werd opgelost. Het antwoord op de gestelde vraag bleek negatief te zijn. Tegenwoordig is bekend dat er voor het algemene geval niet een dergelijke algoritme bestaat. Dit resultaat is het gecombineerde werk van Martin Davis, Joeri Matijasevitsj, Hilary Putnam en Julia Robinson.[1]

Noten

Sjabloon:References

  1. Sjabloon:Aut, Computability theory, blz. 98