Structured Program Theorem: Programming Language, Computable Function

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

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