Bővebb ismertető
Részlet:
Hilbert tizedik problémája
David Hilbert a századfordulón a párizsi Nemzetközi Matematikai Kongresszuson 23 problémát sorolt fel, melyek megoldását az eljövendő századtól várta. Ezek közül a tizedik a következő volt: adjunk meg olyan eljárást (algoritmust), amely minden egész együtthatós (többváltozós) polinomról eldönti, van-e a polinomnak nem-negatív egészekből álló gyökrendszere. Ebben a jegyzetben azt mutatjuk meg, hogy Hilbert várakozásával ellentétben ilyen algoritmus nem létezik.