Tammikuun 29. päivänä vuonna 1970 Yuri Matiyasevich esitti todistuksen Hilbertin kymmenenteen ongelmaan. Hän oli jo turhautunut ja luopunut toivosta ongelman ratkeamisesta. Joulukuussa 1969, kun häntä oli pyydetty arvioimaan Julia Robinsonin artikkelia, hän inspiroitui esitetyn ratkaisun uutuudesta ja aloitti uudelleen työskentelyn Hilbertin ongelman parissa. Tammikuun 3. päivänä hänell oli todistus keksittynä ja hän julkaisi sen 29. tammikuuta 1970.
Tuo Hilbertin kymmenes ongelma on yksinkertaisesti suomennettuna seuraava: Onko olemassa algoritmia, jolla voidaan päätellä onko annetulla Diofantoksen yhtälöllä kokonaislukuratkaisua vai ei? Matiyasevichin todistus osoitti, ettei tällaista algoritmia voida muodostaa.
Matiyasevich on 2. maaliskuuta 1947 Leningradissa syntynyt venäläinen matemaatikko ja tietokonetieteilijä.
Kuva: Wikipedia
Tekstit
Ei kommentteja:
Lähetä kommentti