# [plt-scheme] The Lambda Calculus behind functional programming

Jos Koot wrote:
>* Would it make sense to present a formal mathematical definition of a
*>* real number on primary school as a starting point for elementary
*>* arithmetics?
*
That depends on how formal you want to be. One way to formalize
real numbers is to consider equivalence classes of Cauchy sequences,
but that seems a little extreme in primary school :-)
But examining the definition of fractions might be an option?
--
Jens Axel Søgaard