Recursive function theory
G"del's Incompleteness Theorem: Predictive Thought Unpacked