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

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

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

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

Rice's Theorem: Computability Theory, Partial Functions, Decision Problem, Algorithm, Computable Function, Henry Gordon Rice