[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 

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