Content deleted Content added
m Fixed consecutive punctuation error and general fixes (task 3) |
→See also: +"Diagonal lemma a closely related result in mathematical logic" |
||
Line 140:
* [[Denotational semantics]], where another least fixed point theorem is used for the same purpose as the first recursion theorem.
* [[Fixed-point combinator]]s, which are used in [[lambda calculus]] for the same purpose as the first recursion theorem.
* [[Diagonal lemma]] a closely related result in mathematical logic
== References ==
| |||