Smn Theorem: Recursion Theory, Programming Language, Gödel Numbering, Computable Function, Stephen Cole Kleene, Algorithm

Structured Program Theorem: Programming Language, Computable Function

Rice Shapiro Theorem: Recursion Theory, Rice's Theorem, Henry Gordon Rice, Norman Shapiro,...

Semicomputable Function: Recursion Theory, Partial Function, Computable Automated Theorem Proving, Curry Howard Correspondence

Ackermann Function: Computability theory, Computable function, Primitive recursive Strict Subset, Recursion