--- TODO: Cover general recursive functions here. TODO: Use excerpts from Kleene 1951, Mendelson, The Annotated Godel, and Godel's original paper to cover the technical details. TODO: Once we've done that, find a link back to Church and finish up Lambda calculus with a technical intro. --- goto: [[lost+found/fini/And He Called|And He Called]]