[FOM] Classical/Constructive Arithmetic

hendrik@topoi.pooq.com hendrik at topoi.pooq.com
Fri Mar 24 09:11:38 EST 2006


On Thu, Mar 23, 2006 at 11:18:22AM +0100, S. Spijkerman / F. Waaldijk wrote:
> 
> ... the definition of `continuous
> function' in bish is somewhat problematic. i would like very much for people
> to appreciate these problems, so i repeat the link to my math page:
> http://home.hetnet.nl/~sufra/mathematics.html and hope that you will find
> time to ponder on these issues.

Let me point out that the issues are discussed in his PhD thesis, at 
http://home.hetnet.nl/~sufra/modern%20intuitionistic%20topology.pdf

His math page links to it, but doesn't make it clear that that's where 
to find the problems with contiuity.

 -- hendrik



More information about the FOM mailing list