[FOM] Classical/Constructive Arithmetic
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.
More information about the FOM