Hilberts tionde problem

Från Wikipedia
Hoppa till navigering Hoppa till sök

Hilberts tionde problem är ett av Hilberts 23 matematiska problem. Det formulerades år 1900 och handlar om att hitta en generell algoritm för att avgöra om en given polynomiell Diofantisk ekvation med heltalskoefficienter har en heltalslösning.

Till exempel har den diofantiska ekvationen en heltalslösning: . Diofantinekvationen har däremot ingen heltalslösning.

Hilberts tionde problem har besvarats med ett negativt svar. En sådan allmän algoritm existerar inte enligt Matijasevitjs sats(en), formulerad av Yuri Matiyasevich(en) år 1970.[1]

Källor[redigera | redigera wikitext]

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Hilbert's tenth problem, 7 januari 2014.

Noter[redigera | redigera wikitext]

  1. ^ S. Barry Cooper, Computability theory , sid. 98

Vidare läsning[redigera | redigera wikitext]

Externa länkar[redigera | redigera wikitext]