Repository | Book | Chapter
(1995) The foundational debate, Dordrecht, Springer.
The situation in constructive mathematics in the nineties is so vastly different from that in the thirties, that it is worthwhile to pause a moment to survey the development in the intermediate years. In doing so, I follow the example of Heyting, who at certain intervals took stock of intuitionistic mathematics, which for a long time was the only variety of constructive mathematics. Heyting entered the foundational debate in 1930 at the occasion of the famous Königsberg meeting.
Publication details
DOI: 10.1007/978-94-017-3327-4_11
Full citation:
van Dalen, D. (1995)., Why constructive mathematics?, in W. Depauli Schimanovich, E. Köhler & F. Stadler (eds.), The foundational debate, Dordrecht, Springer, pp. 141-157.
This document is unfortunately not available for download at the moment.