Re: The factoring problem

From: *** T. Winter (***.Winter_at_cwi.nl)
Date: 06/28/05 

Date: Mon, 27 Jun 2005 23:49:36 GMT

In article <BEE5D43D.7C89%jean-claude.arbaut@laposte.net> Jean-Claude Arbaut <jean-claude.arbaut@laposte.net> writes:
> On 27/06/2005 15:21, Douglas A. Gwyn wrote:
>
> > denis feldmann wrote:
> >> Douglas A. Gwyn a écrit :
> >>> I rather doubt that any intuitionist really holds
> >>> that a step function is continuous at the steps.
> >> No : what they say is that step functions have no reality
> >
> > "Define S(x) as 1 if x >= 0, or 0 if x < 0."
> > What's "unreal" about that?
>
> The problem is not "reality" - nothing is that real in mathematics - but
> constructive proof.

I think the problem here is the disctinction between constructionism and
intuitionism. They are not exactly the same. In intuitionism the law
of the excluded middle is abandoned, but that is all. 

-- 
*** t. winter, cwi, kruislaan 413, 1098 sj  amsterdam, nederland, +31205924131
home: bovenover 215, 1025 jn  amsterdam, nederland; http://www.cwi.nl/~***/