Yuri Matijasievic finds the last piece of the puzzle and proves Julia Robinson’s assertion and thus Hilbert’s tenth problem: there is no program that can determine whether any equation has a solution. Post navigation Previous Article Previous Article 70s Next Article Next Article March 5, 1970
