Monthly Archives: February 2013

Recursive Functions

To understand recursion, you must understand recursion. In his First Incompleteness Theorem paper, Gödel provided the first explicit definition of the class of primitive recursive functions on the natural numbers ($\mathbb N^k\to\mathbb N$). Properties of functions on the natural numbers … Continue reading

Posted in logic.2013 | Leave a comment