Nuprl Definition : rational-approx
(x within 1/n) == (r(x n))/2 * n
Definitions occuring in Statement :
int-rdiv: (a)/k1,
int-to-real: r(n),
apply: f a,
multiply: n * m,
natural_number: $n
Definitions occuring in definition :
int-rdiv: (a)/k1,
int-to-real: r(n),
apply: f a,
multiply: n * m,
natural_number: $n
FDL editor aliases :
rational-approx
rational-approx
Latex:
(x within 1/n) == (r(x n))/2 * n
Date html generated:
2016_05_18-AM-07_29_46
Last ObjectModification:
2015_09_23-AM-09_01_40
Theory : reals
Home
Index