j
k
j a
j l
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).
[[constructivist analysis]]
HTH Dan
Back to the thread
Back to the list