Nuprl Definition : accelerate
accelerate(k;f) == eval k2 = 2 * k in λn.eval m = k2 * n in (f m) ÷ k2
Definitions occuring in Statement :
callbyvalue: callbyvalue,
apply: f a,
lambda: λx.A[x],
divide: n ÷ m,
multiply: n * m,
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
lambda: λx.A[x],
callbyvalue: callbyvalue,
multiply: n * m,
divide: n ÷ m,
apply: f a
FDL editor aliases :
accelerate
Latex:
accelerate(k;f) == eval k2 = 2 * k in \mlambda{}n.eval m = k2 * n in (f m) \mdiv{} k2
Date html generated:
2016_05_18-AM-06_46_59
Last ObjectModification:
2015_09_23-AM-09_00_36
Theory : reals
Home
Index