discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
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
Lambda the Ultimate
Complexity and expressive power of logic programming
http://logic.pdmi.ras.ru/~dantsin/ps/DEGV01.ps
0 comments
7/2/2002
Logic/Declerative