[plt-scheme] The Lambda Calculus behind functional programming

From: Jens Axel Søgaard (jensaxel at soegaard.net)
Date: Fri Aug 31 14:38:10 EDT 2007

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

Posted on the users mailing list.