Hilberts tionde problem

Från Wikipedia

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 x2 - 2xy - y2z - 7 = 0 en heltalslösning: x = 1, y = 2 och z = -2. Diofantinekvationen x2 + y2 + 1 = 0 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, formulerad av Jurij Matijasevitj å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]