Articles with example Lisp (programming language) code Computability theory Theorems in theory of computation
Computability theory Theorems in the foundations of mathematics
Craig's theorem
Computability theory
Computability theory Functions and mappings Theorems in the foundations of mathematics
Richardson's theorem
Computability theory Theorems in the foundations of mathematics
Kleene's recursion theorem
Sm n theorem
Sm n theorem In computability theory the S m n theorem, (also called…
Ver teoremaPost's theorem
Post's theorem In computability theory Post's theorem, named after Emil Post, describes…
Ver teorema