Nuprl Definition : KleeneSearch
KleeneSearch(M;f;n) == eval x = M n f in if x is an integer then n else KleeneSearch(M;f;imax(fst(x);n + 1))
Definitions occuring in Statement :
imax: imax(a;b),
callbyvalue: callbyvalue,
pi1: fst(t),
isint: isint def,
apply: f a,
add: n + m,
natural_number: $n
Definitions occuring in definition :
callbyvalue: callbyvalue,
apply: f a,
isint: isint def,
imax: imax(a;b),
pi1: fst(t),
add: n + m,
natural_number: $n
FDL editor aliases :
KleeneSearch
Latex:
KleeneSearch(M;f;n) ==
eval x = M n f in
if x is an integer then n
else KleeneSearch(M;f;imax(fst(x);n + 1))
Date html generated:
2019_06_20-PM-02_50_48
Last ObjectModification:
2019_02_08-PM-04_33_51
Theory : continuity
Home
Index