Repository | Book | Chapter
(2008) Deduction, computation, experiment, Dordrecht, Springer.
Proofs instead of meaning explanations
understanding classical vs intuitionistic mathematics from the outside
Dag Westerståhl
pp. 175-194
The conflict between classical and intuitionistic mathematics - henceforth, the C- I conflict — has been discussed at length and in depth by a number of famous scholars. Why an outside perspective? Is such a perspective interesting, or even possible?
Publication details
DOI: 10.1007/978-88-470-0784-0_10
Full citation:
Westerståhl, D. (2008)., Proofs instead of meaning explanations: understanding classical vs intuitionistic mathematics from the outside, in R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, pp. 175-194.
This document is unfortunately not available for download at the moment.