Kleene fixed-point theorem: Difference between revisions

Revision as of 20:40, 24 July 2015

Revision as of 10:32, 19 July 2016

Line 14:

where <math>\textrm{lfp}</math> denotes the least fixed point.

This result is often attributed to [[Alfred Tarski]], but [[Tarski's fixed point theorem]]
does not consider how fixed points can be computed by iterating ''f'' from some seed (also, it pertains to [[monotone function]]s on [[complete lattices]]).

== Proof ==