On 9/17/06, charles.r.matthews@ntlworld.com charles.r.matthews@ntlworld.com wrote:
Common sense needs to apply, sooner rather than later.
No thank you I'd rather not adopt a system within which calculus doesn't really work (it appears that the intuitionist version of standard reals may not even allow a working version of algebra).