Abstract
Brouwer’s theorem of 1927 on the equivalence between virtual and inextensible order is discussed. Several commentators considered the theorem at issue as problematic in various ways. Brouwer himself, at a certain time, believed to have found a very simple counterexample to his theorem. In some later publications, however, he stated the theorem in the original form again. It is argued that the source of all criticisms is Brouwer’s overly elliptical formulation of the definition of inextensible order , as well as a certain ambiguity in his terminology. Once these drawbacks are removed, his proof goes through.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Brouwer, L. (1927). Virtuelle ordnung und unerweiterbare ordnung. Journal für die reine und angewandte Mathematik, 157, 255–257, also in Brouwer (1975, pp. 406–408).
Brouwer, L. (1950). Remarques sur la notion d’ordre. Comptes Rendus de l’Académie des Sciences de Paris, 230, 263–265, also in Brouwer (1975, pp. 499–500).
Brouwer, L. (1975). Collected works. In A. Heyting (Ed.), Philosophy and foundations of mathematics. Amsterdam: Elsevier.
Brouwer, L. (1981). In van Dalen, D. (Ed.), Cambridge lectures in intuitionism. Cambridge: Cambridge University Press.
Heyting, A. (1975). Notes in Brouwer. Amsterdam: Elsevier.
Posy, C. J. (1980). On Brouwer’s definition of unextendable order. History and Philosophy of Logic, 1, 139–149.
van Dalen, D. (1981). Notes in Brouwer. Cambridge: Cambridge University Press.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Martino, E. (2018). Brouwer’s Equivalence Between Virtual and Inextensible Order. In: Intuitionistic Proof Versus Classical Truth. Logic, Epistemology, and the Unity of Science, vol 42. Springer, Cham. https://doi.org/10.1007/978-3-319-74357-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-74357-8_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74356-1
Online ISBN: 978-3-319-74357-8
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)