- 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 math
Linking pages
- How Julia Robinson helped define the limits of mathematical knowledge https://www.sciencenews.org/article/how-julia-robinson-helped-define-limits-mathematical-knowledge 20 comments
- The Surprising Link between Recreational Math and Undecidability - Scientific American Blog Network https://blogs.scientificamerican.com/roots-of-unity/the-surprising-link-between-recreational-math-and-undecidability/ 0 comments