Hilberts zehntem Problem so nah wie nie zuvor
David Hilbert stellte einst die Frage, ob es möglich ist einen Algorithmus zu entwickeln, mit dem sich herausfinden lässt, ob Polynomgleichungen in mehreren Variablen mit ganzzahligen Koeffizienten auch ganzzahlige Lösungen haben. Diese…