Results 21 to 30 of about 36 (33)

A note on the Knaster–Tarski Fixpoint Theorem

Algebra universalis, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Huang, Mengqiao, Fu, Yuxi
openaire   +2 more sources

The knaster-tarski fixed-point theorem is not uniformly constructive

International Journal of Computer Mathematics, 1987
Kleene's fixed-point theorem holds uniformly constructive (see [1]). On this basis, a fixed-point theory was developed for the semantics of recursive programs. However, there exist fixed-point theorems which fail to hold uniformly constructive, e.g. the computable transformation (induced by an integral) having no computable fixed-point ([2]).
openaire   +1 more source