A fascinating look at how math is actually done: how Yuri Matiyasevich and Julia Robinson found the negative solution to Hilbert's Tenth Problem. - discu.eu

Reddit

A fascinating look at how math is actually done: how Yuri Matiyasevich and Julia Robinson found the negative solution to Hilbert's Tenth Problem. http://logic.pdmi.ras.ru/~yumat/julia/ 3 comments 12/5/2011 math