Tiende probleem van Hilbert

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

Het tiende probleem van Hilbert is de 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:

Aanhalingsteken openen

Gegeven een Diophantische vergelijking met een willekeurig aantal variabelen en met geheeltallige coëfficiënten.
Stel een methode op waarmee in een eindig aantal stappen kan worden bepaald of er gehele getallen zijn die aan de vergelijking voldoen.[1]

Aanhalingsteken sluiten

Een diophantische vergelijking is een vergelijking van de vorm

 p(x_1,x_2,\ldots,x_n)=0,\,

waar 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.[2]

Externe links[bewerken]


  1. (en) Zhi Wei Sun Universiteit van Nanking. "On Hilbert's Tenth Problem and Related Topics" (pdf), 14 april 2000. lezing in Hongkong
  2. S. Barry Cooper,Computability theory, blz. 98