克莱尼不动点定理
在数学中,序理论的Kleene不动点定理声称给定任何完全格L和任何连续的(因此单调的)函数 f的最小不动点(lfp)是f的升Kleene 链的最小上界,这个链是 通过在L的底元素上迭代f而获得。用公式表达,Kleene 不动点定理声称 这里的 指示最小不动点, 指示最小上界,而 是L的底元素。更多