Abstract
It is rightly said that the principle of set theory known as the Axiom of Choice is “probably the most interesting and in spite of its late appearance, the most discussed axiom of mathematics, second only to Euclid’s Axiom of Parallels which was introduced more than two thousand years ago” (Fraenkel, Bar-Hillel, & Levy, 1973).
This section is based on (Clerbout & Rahman, 2015) and (Rahman, Clerbout, & Jovanovic, 2015), where we developed a complete demonstation of AC but with a slighlty different dialogical setting.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
See also (Bell, 2009).
- 2.
- 3.
- 4.
See for instance this observation of (Martin-Löf, 2006, p. 349): “[…] this is not visible within an extensional framework, like Zermelo-Fraenkel set theory, where all functions are by definition extensional.”
- 5.
- 6.
Making use of C(x, y) : set (x : A, y : B(x)).
- 7.
That is, C(x, Ap((λx) p (Ap(z, x)), x)) = C(x, p(Ap(z, x)) : set.
- 8.
(Martin-Löf, 1984, pp. 50–51).
- 9.
See (Jovanovic, 2013).
- 10.
See Sect. 9.1 for further details on game definiteness and its crucial role in the dialogical framework.
- 11.
(Poincaré, 1905, p. 27). “If you are present at a game af chess, it will not suffice, for the understanding of the game, to know the rules for moving the pieces. That will only enable you to recognize that each move has been made conformably to these rules, and this knowledge will truly have very little value. Yet this is what the reader of a book on mathematics would do if he were a logician only. To understand the game is wholly another matter; it is to know why the player moves this piece rather than that otber which he could have moved without breaking the rules of the game. It is to perceive the inward reason which makes of this series of successive moves a sort of organized whole. This faculty is still more necessary for the player himself, that is, for the inventor” (Poincaré, 1907, p. 22).
References
Bell, J. (2009). The Axiom of Choice. London: College Publications.
Bishop, E. (1967). Foundations of constructive mathematics. New York/Toronto, Canada/London: McGraw-Hill.
Clerbout, N., & Rahman, S. (2015). Linking game-theoretical approaches with constructive type theory: Dialogical strategies as CTT-demonstrations. Dordrecht: Springer.
Diaconescu, R. (1975). Axiom of Choice and complementation. Proceedings of the American Mathematical Society, 51, 176–178.
Fraenkel, A., Bar-Hillel, Y., & Levy, A. (1973). Foundations of set theory (2nd ed.). Dordrecht: North-Holland.
Goodman, N. D., & Myhill, J. (1978). Choice implies excluded middle. Zeitschrigt für mathematische Logik und Grundlagen der Mathematik, 24, 461.
Hintikka, J. (1996). The principles of mathematics revisited. Cambridge: Cambridge University Press.
Hintikka, J. (2001). Intuitionistic logic as epistemic logic. Synthese, 127, 7–19.
Jovanovic, R. (2013). Hintikka’s take on the Axiom of Choice and the constructive challenge. Revista de Humanidades de Valparaíso, 2, 135–152.
Martin-Löf, P. (1984). Intuitionistic type theory. Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Naples, Italy: Bibliopolis.
Martin-Löf, P. (2006). 100 years of Zermelo’s Axiom of Choice: What was the problem with it? The Computer Journal, 49(3), 345–350.
Poincaré, H. (1905). La valeur de la science. Paris, France: Flammarion.
Poincaré, H. (1907). The value of science. (G. B. Halstead, Trans.). New York: The Science Press.
Rahman, S., Clerbout, N., & Jovanovic, R. (2015). The dialogical take on Martin-Löf's proof of the Axiom of Choice. South American Journal of Logic, 1(1), 179–208.
van Heijenoort, J. (1967). Logic as calculus and logic as language. Synthese, 17, 324–330.
Zermelo, E. (1904). Neuer Beweis, dass jede Menge Wohlordnung werden kan (Aus einem an Hern Hilbert gerichteten Briefe). Mathematische Annalen, 59, 514–516.
Zermelo, E. (1908a). Neuer Beweis für die Möglichkeit einer Wohlordnung. Mathematische Annalen, 65, 107–128.
Zermelo, E. (1908b). Untersuchungen über die Grundlagen der Mengenlehre, I. Mathematische Annalen, 65, 261–281.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Rahman, S., McConaughey, Z., Klev, A., Clerbout, N. (2018). The Remarkable Case of the Axiom of Choice. In: Immanent Reasoning or Equality in Action. Logic, Argumentation & Reasoning, vol 18. Springer, Cham. https://doi.org/10.1007/978-3-319-91149-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-91149-6_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91148-9
Online ISBN: 978-3-319-91149-6
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)