English Explanatory Dictionary

Kleene fixed-point theorem

English dictionary entry

Meanings

name
  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.

Word forms

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

Etymology

Named after American mathematician Stephen Cole Kleene.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on K Russian dictionary Dahl dictionary