Nuprl Definition : approx-arg
approx-arg(f;B;x) == accelerate(1 + B;λn.eval a = x n in eval m = 2 * n in f (r(a))/m n)
Definitions occuring in Statement :
int-rdiv: (a)/k1,
int-to-real: r(n),
accelerate: accelerate(k;f),
callbyvalue: callbyvalue,
apply: f a,
lambda: λx.A[x],
multiply: n * m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
int-to-real: r(n),
int-rdiv: (a)/k1,
apply: f a,
natural_number: $n,
multiply: n * m,
callbyvalue: callbyvalue,
lambda: λx.A[x],
add: n + m,
accelerate: accelerate(k;f)
FDL editor aliases :
approx-arg
Latex:
approx-arg(f;B;x) == accelerate(1 + B;\mlambda{}n.eval a = x n in eval m = 2 * n in f (r(a))/m n)
Date html generated:
2017_01_09-AM-09_02_13
Last ObjectModification:
2016_11_25-PM-07_30_51
Theory : reals
Home
Index