Proofs instead of meaning explanations
understanding classical vs intuitionistic mathematics from the outside
pp. 175-194
in: Rossella Lupacchini, Giovanna Corsi (eds), Deduction, computation, experiment, Berlin, Springer, 2008Abstract
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?