[plt-scheme] The Lambda Calculus behind functional programming

----- Original Message ----- 
From: "Jens Axel Søgaard" <jensaxel at soegaard.net>
To: "Jos Koot" <jos.koot at telefonica.net>
Cc: "PLT Scheme" <plt-scheme at list.cs.brown.edu>
Sent: Friday, August 31, 2007 8:38 PM
Subject: Re: [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 :-)

Exactly.

> But examining the definition of fractions might be an option?

And on high school, may be cycling versus non cycling decimal expansions. Yes, I 
assume so.
But nevertheless you wont't be telling the whole story. Of course not. You 
cannot tell the whole story at once.
You have to dose it in small portions.
Jos koot

> -- 
> Jens Axel Søgaard
>
>
>