Abstract
I have argued that the unreasonable effectiveness of mathematics in fundamental physics leads to a Pythagorean view of the world in which the underlying principles are structural, mathematical principles. This naturally raises one of the key questions which Wigner addressed in his investigation of the relationship between physics and mathematics: ‘What is mathematics?’ That is the question which I address in the next two chapters. I am particularly interested in exploring the implications of a Pythagorean view for one’s philosophy of mathematics. What should Pythagoreans believe about the nature of mathematics? What are the potential problems for this view? It seems clear that, for Pythagoreans, mathematics is necessarily true, eternal and unchanging. Pythagoreans should be realists about mathematics. They should regard the pursuit of mathematics as discovering facts about the world. They should look to mathematics as the ultimate arbiter of questions about existence and truth. It is the last point that I am mainly concerned with in this chapter: can mathematics serve as the ultimate arbiter of questions about existence and truth? More particularly, I investigate whether there is one background theory of mathematics in which any mathematical problem can be interpreted and (potentially) decided. If there is—as universalists believe—then the various disciplines of mathematics are part of one, true mathematical universe. If not—as held by pluralists—then there are alternative mathematical universes and mathematical statements may be true in some universes and false in others, not necessarily true. That would be a problem for Pythagoreanism.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
One interesting exception is Harvey Friedman’s efforts to ‘reverse engineer’ textbook mathematics in order to reveal exactly what set-theoretical machinery is used (Friedman and Simpson 2000).
- 2.
Following Hilbert’s famous exclamation: “No one shall expel us from the paradise which Cantor has created for us” (Boyer 1991: 570).
- 3.
Let T1 and T2 be recursively enumerable axiom systems. We say that T1 is interpretable in T2 (T1 ≤ T2) when, roughly speaking, there is a translation τ from the language of T1 to the language of T2 such that, for each sentence φ of the language of T1, if T1 proves φ then T2 proves τ(φ). T1 and T2 are said to be mutually interpretable when both T1 ≤ T2 and T2 ≤ T1 (Koellner 2010: 5).
- 4.
The Axiom of Infinity asserts that there are infinite sets, that is, completed infinite collections.
- 5.
Cantor used the term inconsistent manifold.
- 6.
Axiom systems other than ZFC may omit the Axiom of Foundation, and may even include its negation, allowing for non-well-founded sets. Such sets may be “pathological” in some sense and not suitable for some mathematical applications.
- 7.
- 8.
The statement that ZF has any models at all is equivalent to the statement that ZF is consistent, which is an assumption that cannot be proved within ZF. This follows from Gödel’s Second Incompleteness Theorem together with his completeness theorem for first-order logic.
- 9.
A set X is logically definable from parameters in Lα if there exist elements a1,…,an of Lα and a logical formula Ф(x1,…,xn) in the formal language for set theory such that X = {a Є Lα | (Lα, Є) ╞ Ф(a,a1,…,an)]} where the order (Lα, Є) is the set Lα with the membership relation Є restricted to it and ╞ is the symbol for consequence (Woodin 2010a: 3).
- 10.
For example, it is not necessary for the ground model to be a countable, standard, transitive model and not all forcing extensions are cardinal preserving.
- 11.
The Lowenheim–Skolem theorem says that if there exists an infinite model of PA, then there exist models of all cardinality, from countable upwards.
- 12.
Note that, according to Gödel’s Second Incompleteness Theorem, such models must exist if PA is consistent because it is consistent with its own inconsistency statement.
- 13.
Externalists think that all that it is needed to justify a belief is for the belief to be acquired by a reliable method (in this case, the construction of consistent mathematical theories); we don’t need to know that the method is reliable or be able to explain its reliability (Balaguer 1995: 309).
- 14.
Magidor (2011: 2) also advocates this view, although he is prepared to contemplate a small number of alternative universes.
- 15.
- 16.
Finitism is often associated with the German mathematician Kronecker, who is attributed with the statement: “God made the integers, all the rest is the work of man” (Boyer 1991: 570).
- 17.
- 18.
See Kanamori (1994: 17) for a definition of a Mahlo cardinal (N.B. the definition of large cardinals is very technical).
- 19.
By Gödel’s Second Incompleteness Theorem, large cardinal axioms at the level of a strongly inaccessible or higher cardinal cannot be shown to be relatively consistent with ZFC because, if x is a strongly inaccessible or higher cardinal, then it can be shown that Vx is a model of ZFC and, thus, that ZFC is consistent (Maddy 1997: 74).
- 20.
For technical reasons, Gödel thought that the resolution of the continuum hypothesis would require new axioms of an extrinsic kind (i.e. based on hitherto unknown principles). In fact, it is now known that the continuum hypothesis is independent of all remotely plausible large cardinal axioms that have been considered to date.
- 21.
Here, as always, one must be careful to keep separate the concepts of proper class and set, for example, V has the property of containing all sets, but no set (and, therefore, no initial segment) can have that property.
- 22.
See Koellner (2009a: 212–213) for a definition of these large cardinals.
- 23.
See the discussion of Gödel’s constructible universe L in Sect. 4.2.4 for a definition of definable sets. By starting with the real numbers R and iterating the definable power set operation along the ordinals, we get the hierarchy L(R) of definable sets of reals.
- 24.
See Woodin (2010a: 4) for details.
- 25.
See Steel (2007) for a definition of Woodin cardinals.
- 26.
See Kanamori (1994: 298) for a definition of a supercompact cardinal.
- 27.
For more information on Ω-logic and its relation to full first- and second-order logic, see Koellner (2010).
- 28.
The Strong Ω Conjecture is the Ω Conjecture plus a conjecture about an extended form of the Axiom of Determinacy. See Koellner (2011c: 16–17).
- 29.
Note that the continuum hypothesis is just a particular case; there are other suitable sentences which could be forced to differ between Ω-complete theories of Vα.
- 30.
For example, it would be correct about singular cardinals and compute their successors correctly (Woodin 2011c: 465).
- 31.
According to predicativists, the natural numbers form a definite totality but the collection of all sets of natural numbers (i.e. the power set) does not. For more on predicativity, see Feferman (2005).
References
Balaguer, M. 1995. A Platonist Epistemology. Synthese 103: 303–325.
———. 1998. Non-Uniqueness as a Non-Problem. Philosophia Mathematica 6: 63–84.
———. 2009. Realism and Anti-Realism in Mathematics. In Philosophy of Mathematics (Handbook of the Philosophy of Science), edited by A.D. Irvine, 35–101. Amsterdam: Elsevier/North-Hollands.
Banach, S., and A. Tarski. 1924. Sur la décomposition des ensembles de points en parties respectivement congruentes. Fundamenta Mathematicae 6: 244–277.
Beall, J.C. 1999. From Full-Blooded Platonism to Really Full-Blooded Platonism. Philosophia Mathematica 7: 322–325.
Boyer, C. 1991. A History of Mathematics. New York: John Wiley & Sons.
Cheyne, C. 1999. Problems with Profligate Platonism. Philosophia Mathematica 7: 164–177.
Cohen, P. 1963. The Independence of the Continuum Hypothesis. Proceedings of the National Academy of Sciences of the United States of America 50(6): 1143–1148.
———. 1964. The Independence of the Continuum Hypothesis II. Proceedings of the National Academy of Sciences of the United States of America 51(1): 105–110.
Feferman, S. 2000. Does Mathematics Need New Axioms? Proceedings of a symposium with H.M. Friedman, P. Maddy and J. Steel, Bulletin of Symbolic Logic 6: 401–413.
———. 2005. Predicativity. In The Oxford Handbook of Philosophy of Mathematics and Logic, edited by S. Shapiro, 590–624. Oxford University Press.
———. 2006b. The Impact of the Incompleteness Theorems on Mathematics. Notices American Mathematical Society 53: 434–449.
———. 2011. Is the Continuum Hypothesis a Definite Mathematical Problem? pp. 1–29, downloaded from http://logic.harvard.edu/EFI_Feferman_IsCHdefinite.pdf
Fraenkel, A. 1922. Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre. Mathematische Annalen 86: 230–237.
Fraenkel, A., and Y. Bar-Hillel. 1958. Foundations of Set Theory. Amsterdam: North-Holland Publishing Company.
Frege, G. 1879. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle a.S.: Louis Nebert. Translation: ‘Concept Script, a formal language of pure thought modelled upon that of arithmetic’, by S. Bauer-Mengelberg in Jean Van Heijenoort (ed.), 1967, From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, Harvard University Press.
Friedman, H. 2001. Does Normal Mathematics Need New Axioms?, downloaded from http://www.math.osu.edu/~friedman/manuscripts.html , pp. 1–12.
———. 2002. Philosophy 532: Philosophical Problems in Logic Lecture 1. Presented at Princeton University 9/25/02, downloaded from http://www.math.osu.edu/~friedman/manuscripts.html , pp. 1–107.
———. 2010. Boolean Relation Theory and Incompleteness, downloaded from http://www.math.osu.edu/~friedman/manuscripts.html
———. 2011. My Forty Years on His Shoulders. In Kurt Gödel and the Foundations of Mathematics: Horizons of Truth, edited by Matthias Baaz et al., 399–434. New York: Cambridge University Press.
Friedman, H., and S. Simpson. 2000. Issues and Problems in Reverse Mathematics. Computability Theory and Its Applications, Contemporary Mathematics 257: 127–144.
Gödel, K. 1931. On Formally Undecidable Propositions of Principia Mathematica and Related Systems I. In K. Gödel Collected Works, edited by S. Feferman et al., Vol. 1, 145–195. Oxford: Oxford University Press, 1986.
———. 1940. The Consistency of the Continuum-Hypothesis. Princeton: Princeton University Press.
———. 1946. Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics. In K. Gödel Collected Works, edited by S. Feferman et al., Vol. II, 150–153. Oxford: Oxford University Press, 1990.
———. 1947. What Is Cantor’s Continuum Problem? In K. Gödel Collected Works, edited by S. Feferman et al., Vol. 2, 176–187. Oxford: Oxford University Press, 1990.
———. 1953/1959. Is Mathematics Syntax of Language. In K. Gödel Collected Works, edited by S. Feferman et al., Vol. 3, 334–355. Oxford: Oxford University Press, 1995.
———. 1964. What Is Cantor’s Continuum Problem? In K. Gödel Collected Works, edited by S. Feferman et al., Vol. 2, 254–270. Oxford: Oxford University Press, 1990.
Hamkins, J. 2011. The Set-Theoretic Multiverse, downloaded from http://arxiv.org/abs/1108.4223 , pp. 1–35.
Kanamori, A. 1994. The Higher Infinite: Perspectives in Mathematical Logic. Berlin: Springer-Verlag.
———. 2008. Cohen and Set Theory. The Bulletin of Symbolic Logic 14(3): 351–378.
Kanigel, R. 1991. The Man Who Knew Infinity: A Life of the Genius Ramanujan. New York: Charles Scribner’s Sons.
Koellner, P. 2009a. On Reflection Principles. Annals of Pure and Applied Logic 157: 206–219.
———. 2010. Strong Logics of First and Second Order. The Bulletin of Symbolic Logic 16: 1–36.
———. 2011a. Independence and Large Cardinals. In The Stanford Encyclopedia of Philosophy (Summer ed.), edited by Edward N. Zalta, downloaded from http://plato.stanford.edu/archives/sum2011/entries/independence-large-cardinals/
———. 2011b. Large Cardinals and Determinacy, downloaded from http://logic.harvard.edu/EFI_LCD.pdf , pp. 1–44.
———. 2011c. The Continuum Hypothesis, downloaded from http://logic.harvard.edu/EFI_CH.pdf , pp. 1–38.
Koellner, P., and W. Woodin. 2009. Incompatible Ω-Complete Theories. Journal of Symbolic Logic 74: 1155–1170.
Levy, A., and R. Solovay. 1967. Measurable Cardinals and the Continuum Hypothesis. Israel Journal of Mathematics 5: 234–248.
Macintyre, A. 2011. The Impact of Gödel’s Incompleteness Theorems on Mathematics. In Kurt Gödel and the Foundations of Mathematics: Horizons of Truth, edited by Matthias Baaz et al., 3–26. New York: Cambridge University Press.
Maddy, P. 1997. Naturalism in Mathematics. New York: Oxford University Press.
———. 2005. Mathematical Existence. The Bulletin of Symbolic Logic 11: 351–376.
———. 2011. Defending the Axioms. New York: Oxford University Press.
Magidor, M. 2011. Some Set Theories Are More Equal, downloaded from http://logic.harvard.edu/EFI_Magidor.pdf , pp. 1–26.
Martin, D., and J. Steel. 1994. Iteration Trees. Journal of the American Mathematical Society 7: 1–73.
Martin, D. 2001. Multiple Universes of Sets and Indeterminate Truth Values. Topoi 20: 5–16.
Mitchell, W., and J. Steel 1994. Fine Structure and Iteration Trees. In Volume 3 of Lecture Notes in Logic. Berlin: Springer-Verlag.
Nelson, E. 2011. Warning Signs of a Possible Collapse of Contemporary Mathematics. In Infinity: New Research Frontiers, edited by M. Heller and W.H. Woodin, 76–88. New York: Cambridge University Press.
Peano, G. 1889. The Principles of Arithmetic. Presented by a New Method. In Jean van Heijenoort, 1967, A Source Book in Mathematical Logic, 1879–1931, Harvard University Press, pp. 83–97.
Quine, W. 1953. Two Dogmas of Empiricism. In From a Logical Point of View, edited by W. Quine, 20–46. Cambridge, MA: Harvard University Press.
———. 1981. Theories and Things. Cambridge, MA: The Belknap Press of Harvard University Press.
Shelah, S. 2003. Logical Dreams. Bulletin (New Series) of the American Mathematical Society 40: 203–228.
Steel, J. 2000. Mathematics Needs New Axioms. Bulletin of Symbolic Logic 6: 422–433.
———. 2004. Generic Absoluteness and the Continuum Problem, downloaded from http://www. lps. uci.edu/home/conferences/Laguna-Workshops/Laguna2004.html, pp. 1–24.
Steel, J. 2007. What is a Woodin Cardinal? Notices of the American Mathematical Society 54(9): 1146–1147.
Wang, H. 1996. A Logical Journey: From Gödel to Philosophy. Cambridge, MA: MIT Press.
Woodin, W.H. 2010a. Strong Axioms of Infinity and the Search for V. Proceedings of the International Congress of Mathematicians, Hyderabad, India, pp. 1–18.
———. 2010b. Suitable Extender Models I. Journal of Mathematical Logic 10: 101–339.
———. 2011a. Suitable Extender Models II: Beyond ω-Huge. Journal of Mathematical Logic 11: 115–436.
———. 2011b. The Realm of the Infinite. In Infinity: New Research Frontiers, edited by M. Heller and W.H. Woodin, 89–118. New York: Cambridge University Press.
———. 2011c. The Transfinite Universe. In Kurt Gödel and the Foundations of Mathematics: Horizons of Truth, edited by Matthias Baaz et al., 449–474. New York: Cambridge University Press.
———. 2011d. The Continuum Hypothesis, the Generic Multiverse of Sets, and the Ω Conjecture. In Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies, edited by J. Kennedy and R. Kossak, 13–42. New York: Cambridge University Press.
Zermelo, E. 1908. Untersuchungen über die Grundlagen der Mengenlehre I. Mathematische Annalen 65: 261–281.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2017 The Author(s)
About this chapter
Cite this chapter
McDonnell, J. (2017). One True Mathematics. In: The Pythagorean World. Palgrave Macmillan, Cham. https://doi.org/10.1007/978-3-319-40976-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-40976-4_4
Published:
Publisher Name: Palgrave Macmillan, Cham
Print ISBN: 978-3-319-40975-7
Online ISBN: 978-3-319-40976-4
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)