[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