Kleene fixed-point theorem

专有名词

英文释义

专有名词
  1. Suppose (L,⊑) is a directed-complete partial order with a least element, and let f:L→L be a Scott-continuous (and therefore monotone) function. Then f has a least fixed point, which is the supremum of the ascending Kleene chain of f.

词形变化

the Kleene fixed-point theorem canonical Kleene's fixed-point theorem alternative

词源

Named after American mathematician Stephen Cole Kleene.
1 次浏览 数据来源: Wiktionary