Nuprl Definition : cauchy-limit
cauchy-limit(n.x[n];c) == accelerate(2;λn.(x[c n] n))
Definitions occuring in Statement :
accelerate: accelerate(k;f),
apply: f a,
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
apply: f a,
lambda: λx.A[x],
natural_number: $n,
accelerate: accelerate(k;f)
FDL editor aliases :
cauchy-limit
Latex:
cauchy-limit(n.x[n];c) == accelerate(2;\mlambda{}n.(x[c n] n))
Date html generated:
2016_10_26-AM-09_15_37
Last ObjectModification:
2016_08_29-PM-05_07_49
Theory : reals
Home
Index