Content deleted Content added
m Removed deprecated parameter(s) from Template:Div col using DeprecatedFixerBot. Questions? See Template:Div col#Usage of "cols" parameter or msg TSD! (please mention that this is task #2!)) |
→List of fixed-point theorems: added fixed point combinator from lambda calculus to the list Tags: Mobile edit Mobile web edit |
||
Line 89:
*[[Caristi fixed-point theorem]]
*[[Diagonal lemma]], also known as the fixed-point lemma, for producing self-referential sentences of [[first-order logic]]
*[[Fixed-point combinator]], which shows that every term in untyped [[lambda calculus]] has a fixed point
*[[Fixed-point lemma for normal functions]]
*[[Fixed-point property]]
|