Nuprl Definition : r-list-sum
r-list-sum(L) == reduce(λx,y. (x + y);r0;L)
Definitions occuring in Statement :
radd: a + b,
int-to-real: r(n),
reduce: reduce(f;k;as),
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
radd: a + b,
int-to-real: r(n),
natural_number: $n
FDL editor aliases :
r-list-sum
Latex:
r-list-sum(L) == reduce(\mlambda{}x,y. (x + y);r0;L)
Date html generated:
2019_10_29-AM-10_19_55
Last ObjectModification:
2019_09_18-PM-05_01_02
Theory : reals
Home
Index