Content deleted Content added
→References: added link |
→List of fixed-point theorems: Earle-Hamilton fixed-point theorem added |
||
Line 93:
*[[Diagonal lemma]], also known as the fixed-point lemma, for producing self-referential sentences of [[first-order logic]]
*[[Discrete fixed-point theorem]]s
*[[Earle-Hamilton fixed-point theorem]]
*[[Fixed-point combinator]], which shows that every term in untyped [[lambda calculus]] has a fixed point
*[[Fixed-point lemma for normal functions]]
| |||