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

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

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

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

Structured Program Theorem: Programming Language, Computable Function