Repository | Book | Chapter
Proofs instead of meaning explanations
understanding classical vs intuitionistic mathematics from the outside
pp. 175-194
Abstract
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
Published in:
Lupacchini Rossella, Corsi Giovanna (2008) Deduction, computation, experiment: exploring the effectiveness of proof. Dordrecht, Springer.
Pages: 175-194
DOI: 10.1007/978-88-470-0784-0_10
Full citation:
Westerståhl Dag (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, 175–194.