Matematiikan historiassa tänään 29. tammikuuta

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

This entry was posted in Henkilöitä, Hilbert, Historiaa, Tutkimus. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s