[FOM] Quinn article, teaching math, excluded middle and constructive mathematics

[Panu Raatikainen]

Lainaus "frank waaldijk" <fwaaldijk at gmail.com>:

> ...   Classical mathematics, in its fullfledged
> embrace of excluded middle, can be compared to science fiction...or
> dreamland if you would like a stronger metaphor. It's nice to dream, and
> nice to be able to conjure battlestars and time travel and black hole
> mining and...
>
> But it is also important to return to reality from time to time. This is
> where constructive mathematics comes in.

These are strong claims, and we've heard them now and then before, but  
it would be nice to hear some convincing arguments supporting them...  
I've honestly tried hard to find one for some time, but have so far  
failed...

Best

Panu


-- 
Panu Raatikainen

Ph.D., University Lecturer
Docent in Theoretical Philosophy

Theoretical Philosophy
Department of Philosophy, History, Culture and Art Studies
P.O. Box 24  (Unioninkatu 38 A)
FIN-00014 University of Helsinki
Finland

E-mail: panu.raatikainen at helsinki.fi

http://www.mv.helsinki.fi/home/praatika/