Abstract
Far from being unwelcome or impossible in a mathematical setting, indeterminacy in various forms can be seen as playing an important role in driving mathematical research forward by providing “sources of newness” in the sense of Hutter and Farías (J Cult Econ 10(5):434–449, 2017). I argue here that mathematical coincidences, phenomena recently under discussion in the philosophy of mathematics, are usefully seen as inducers of indeterminacy and as put to work in guiding mathematical research. I suggest that to call a pair of mathematical facts (merely) a coincidence is roughly to suggest that the investigation of connections between these facts isn’t worthwhile. To say of this pair, “That’s no coincidence!” is to suggest just the opposite. I further argue that this perspective on mathematical coincidence, which pays special attention to what mathematical coincidences do, may provide us with a better view of what mathematical coincidences are than extant accounts. I close by reflecting on how understanding mathematical coincidences as generating indeterminacy accords with a conception of mathematical research as ultimately aiming to reduce indeterminacy and complexity to triviality as proposed in Rota (in: Palombi (ed) Indiscrete thoughts, Birkhäuser, 1997).
Similar content being viewed by others
Notes
Hilbert (1926/1983, p. 191).
[Dante, Paradiso, Canto XXXII, 52–56].
[Homer, Odyssey 11.487–503].
The idea of “sourcing newness” is drawn from Hutter and Farías (2017).
Dewey (1938, pp. 104–105, emphasis in the original).
See Dewey (1938, pp. 105–106). Dewey’s use of ‘indeterminate situation’ in this semi-technical sense helps block Russell’s “counterexample” that, according to Dewey, a bricklayer’s dealings with a pile of bricks is a form of inquiry (Russell, 1946/1961, p. 823). See Gale (1959) for more on Russell on Dewey on inquiry.
Hutter and Farías (2017).
Something like this induced indeterminacy may also be familiar as what the character Paul aims to produce in his rented apartment in Last Tango in Paris.
Hutter and Farías (2017, pp. 438–440, pp. 441–442, p. 444).
See Wittgenstein (1953/2009, §189) for discussion of this sense of ‘determinacy’.
See, e.g., Bartle and Sherbert (2011, Section 6.3).
See, e.g., Mac Lane and Birkhoff (1999, Ch. III.6).
See Saccheri (1733/2014, Book I).
See Corfield (2003, p. 152) for more on the role of axioms in experimentation and creativity within mathematical research.
This is one way to view the resurgence of interest in type-theory and constructive logic initiated by the so-called univalent foundations program. See Univalent Foundations Program (2013).
See, e.g., Lakatos (1976).
See Shapiro and Roberts (2021) for discussion of open texture and mathematics more generally.
See Tanswell (2018) for a compelling case that the project of conceptual engineering has much to learn from mathematical practice. See, e.g., [Burgess et al.(2020)] for a general introduction to the conceptual engineering project.
Of course, none of this indeterminacy quite suggests the kind of “ontological indeterminacy” investigated in more metaphysically-focused literature: see, e.g., Rosen and Smith (2004) or Barnes and Williams (2011) for more on this purported type of indeterminacy. (See, e.g., Lewis (1986, p. 212) for the ‘purported’ qualification.).
In addition to indeterminacy, Jones suggests that this kind of situation also “induces obsessive and anti-social behaviour”.
See Aberdein (2010) for an attempt to mine the mistaken half of this kind of argument pair for a deeper understanding of mathematical error, mathematical fallacies, and the role of and justification for informal reasoning in mathematics.
Another way talk of coincidence can arise in mathematics is when a bad argument “coincidentally” reaches a true conclusion. As Aberdein (2010) shows, this kind of coincidence can be usefully investigated, but it is not of the type central to recent discussions of mathematical coincidence, so I’ll set it aside in what follows.
Davis (1981, p. 312).
Guy (1990, p. 10).
Guy (1988, p. 699).
This operation is named after Dattathreya Kaprekar, who studied it and discovered a number of facts about it. See, e.g., Kaprekar (1955). Kaprekar also gave the name ‘harshad’ to the harshad numbers in Example 2.
For four-digit numbers, the operation always ends with 6174. Neither two-digit nor five-digit numbers have a repeating value (or “kernel”). See Nishiyama (2012, p. 370).
A similar procedure can be used to show that 6174 is the fixed point of the Kaprekar operation applied to normal four-digit numbers. See Nishiyama (2012, pp. 364–365).
This may also suggest, as Fine (1994) has argued regarding essence, that necessity is too “coarse-grained” of a notion to capture the phenomena and so an account of mathematical coincidences as not stemming from the “essences” of the objects involved is needed instead. Taking this line would produce a rather different view than the one to be investigated here, and will have to wait for another opportunity to be explored in any case.
See Davis (1981, pp. 312–313).
See Muntersbjorn (2003) for an argument that this is a false dilemma anyway. Muntersbjorn argues that mathematics is best thought of as being “cultivated” rather than invented or discovered.
See, e.g., Martin (2020, §5.1).
“[L]es saints [\(\ldots \)] disent en parlant des choses divines qu’il faut les aimer pour les connaître”.
Note that Guy (1988, p. 698), e.g., disagrees with this kind of view. He suggests that early coincidences like the ones seen in Example 2 and 3 above are actually “the enemy of mathematical discovery” since they tend to send us on wild goose chases for proofs of theorems that are simply false. Of course, I’m not suggesting that there is some kind of foolproof path to successful mathematical discovery. In any given case, the mathematician will have to rely on background knowledge, experience, intuition, and so on to determine whether a direction of research suggested by a mathematical coincidence is worth the time and effort. My point is that these coincidences are useful ways of inducing indeterminacy that can spur research, not that they’re the only guide available.
Seeing the ways in which “[m]athematics is for human flourishing” (Su, 2020, p. 10, emphasis added) is another route to this same end.
Although he wouldn’t agree with the details of the Pascalian view presented here, Marc Lange, e.g., agrees that coincidence talk can sometimes make it easier to recognize interesting issues. See Lange (2010, p. 331).
Lange very briefly discusses and dismisses a view like this which holds that a coincidence “does not repay further study, it is not fruitful, it leads to no further interesting mathematics” (Lange, 2017, p. 286). (He also suggests that Roy Sorensen makes a proposal like this in an unpublished manuscript, “Mathematical Coincidences.”) I’ll discuss Lange’s view further in Sect. 5 and comment on how the proposal under consideration differs from this dismissed one there as well.
Nishiyama (2012, p. 372).
\(123456789=3^2\cdot 3607\cdot 3803=10821\cdot 11409\) and \(123456784=2^4\cdot 11^2\cdot 43\cdot 1483=10406\cdot 11864\).
<https://mathoverflow.net/tour> Accessed 25 March 2021. See [Martin and Pease(2013)] for some reflections on MathOverflow as a resource and the light it sheds on the production of mathematics.
<https://mathoverflow.net/questions/15444/examples-of-eventual-counterexamples> Accessed 29 August 2021.
<https://mathoverflow.net/a/15506> Accessed 29 August 2021.
See, e.g., Brookfield (2016, p. 186).
<https://mathoverflow.net/questions/109149/cyclotomic-polynomials-with-coefficients-0-pm1> Accessed 29 August 2021.
Cf. Sylvain Bromberger’s advice to someone seeking an answer to a why-question: “My guess is that the rational thing for him to do is to forget about the why-question and to turn to other questions instead, remembering that answers to why-questions usually emerge from work on questions with more reliable credentials” (Bromberger, 1992, p. 169).
See Martin and Pease (2013) for more on this “fact-gathering”-role played by MathOverflow.
Note that this kind of question can be settled without coming to the conclusion that it’s true or false that X is a coincidence. One way of settling the question would be to come to the opinion that the fact isn’t interesting and so just a coincidence or that it is interesting and so is no mere coincidence.
Cf. Dannenberg (2008, p. 155): “It would probably be difficult to discover a novelist more consummate in the art of coincidence than Dickens”.
See Wittgenstein (1956/1983, III §46, emphasis in the original): “[M]athematics is a multicoloured mixture of techniques of proof”.
A full theory might proceed by providing more explicit rules for “introducing” and “eliminating” coincidence-talk; explaining how coincidence-claims embed in non-asserted contexts; etc. There seem to be ample tools and methods available for filling in some of these details if one were so inclined. Cf. Thomasson (2020, Ch. 3) for a similar approach to handling talk of necessity and possibility especially in the area of metaphysics.
Cf. Floyd (2012, p. 232) for a similar claim about surprises in mathematics from a Wittgenstein-inspired perspective.
X may be worthy of attention for other reasons, of course.
See Lange (2017), Part III and especially Chapter 8.
Cf. Lange (2017, p, 304): That some theorem is no coincidence “is a fact about mathematics no less than that the theorem holds.” Whether or not this thought can only be captured by an account like Lange’s depends on how robustly we want to understand the concept of a “fact.” See, e.g., Price (2011, §4).
“coincidence, n.” OED Online. Oxford University Press. Accessed 25 March 2021.
Cf. Lange (2017, p. 277).
Given an account like this, an alternative to the line I’m pursuing here, but one that would be congenial to the general outlook, might be to follow Locke (2020) in his account of “metaphysical explanation for modal normativists” and use Lange’s definition of ‘coincidence’ along with a non-descriptive story about non-causal explanation.
The qualification, “single, unified,” aims to prevent one from claiming that by putting together an explanatory proof of A and an explanatory proof of B one has given an explanation for A and B.
See also Inglis and Aberdein (2015) for a similar kind of study.
It’s also possible, as already suggested in n.67, that substituting a different account of explanation or modifying Lange’s could do the required work just as well.
There remain questions about how literally to take and how heavily to weigh the opinions of mathematicians on these sorts of issues though of course. Cf. Martin (2020, §5.2).
This is one important way in which the Pascalian account isn’t just the account discussed in Lange (2017, p. 286). Lange commits the view there to the claim that non-coincidences are non-coincidental because they suggest further interesting mathematics. On a Pascalian view, there isn’t any ‘because’ playing a significant role. Further, the view in Lange is primarily a story about what mathematical coincidences are—according to the view, they’re the facts that don’t repay further study. The Pascalian viewpoint is, instead, primarily a story about what we do with coincidence talk that then takes mathematical coincidences themselves to be roughly the shadows of this talk.
See, e.g., Schroeder (2010, Ch. 1.4).
For the desirability of such a feature, see Baker (2009, p. 148).
See Davis (1981, p. 320): “To some extent, [the mathematician] even brings [mathematical coincidence] about”.
See Lange (2010, p. 316). According to an alternative account of explanation for which explanations are intimately related to the answering of why-questions, this claim of Lange’s would likely be judged to be mistaken though. E.g., Fraassen (1980, p. 130) suggests that an omniscient being wouldn’t be in the business of explanation at all, so the distinction between coincidence and non-coincidence in Lange’s terms would disappear.
A simpler way out of the worry may be by adopting a deflationary account of what it is for there to be “facts of the matter” in this domain. See, e.g., Thomasson (2020, Ch. 6.1).
Wright (1992, pp. 92–93).
This fact about arbitrary collections of mathematical facts is also noted by Lange and accounted for by his view. See, e.g., Lange (2017, p. 280).
Cf. Rota (1997, p. 93): “The quest for ultimate triviality is characteristic of the mathematical enterprise”.
References
Aberdein, A. (2010). Observations on sick mathematics. In B. van Kerkhove, J. P. van Bendegem, & J. de Vuyst (Eds.), Philosophical perspectives on mathematical practice. College Publications.
Alighieri, D. (2007). Paradiso. Anchor Books.
Artin, M. (1991). Algebra. Prentice Hall.
Augustine. (1961). Confessions. Penguin Books.
Axler, S. (1997). Linear algebra done right. Springer.
Baker, A. (2009). Mathematical accidents and the end of explanation. In: O. Bueno, & Ø, Linnebo (Eds.) New waves in philosophy of mathematics. Palgrave Macmillan.
Barnes, E., & Williams, J. R. G. (2011). A theory of metaphysical indeterminacy. In K. Bennett & D. Zimmerman (Eds.), Oxford studies in metaphysics 6. Oxford University Press.
Bartle, R., & Sherbert, D. (2011). Introduction to real analysis. Wiley.
Bourbaki, N. (1968). Theory of sets. Addison-Wesley.
Bromberger, S. (1992). On what we know we don’t know: Explanation, theory, linguistics, and how questions shape them. The University of Chicago Press.
Brookfield, G. (2016). The coefficients of cyclotomic polynomials. Mathematics Magazine, 89(3), 179–188.
Buchbinder, O., & Zaslavsky, O. (2011). Is this a coincidence? The role of examples in fostering a need for proof. ZDM Mathematics Education, 43, 269–281.
Burgess, A., Cappelen, H., & Plunkett, D. (Eds.), (2020). Conceptual engineering and conceptual ethics. Oxford University Press.
Conway, J. H., & Norton, S. (1979). Monstrous moonshine. Bulletin of the London Mathematical Society, 11(3), 308–339.
Corfield, D. (2003). Towards a philosophy of real mathematics. Cambridge University Press.
D’Alessandro, W. (2020). Mathematical explanation beyond explanatory proof. British Journal for the Philosophy of Science, 71(2), 581–603.
D’Alessandro, W. (2020). Proving quadratic reciprocity: Explanation, disagreement, transparency and depth. Synthese, 66, 1–44.
Dannenberg, H. (2008). Coincidence and counterfactuality: Plotting time and space in narrative fiction. University of Nebraska Press.
Davis, P. (1981). Are there coincidences in mathematics? American Mathematical Monthly, 88(5), 311–320.
Dewey, J. (1938). Logic: The theory of inquiry. Henry Holt and Company.
Diaconis, P., & Mosteller, F. (1989). Methods for studying coincidences. Journal of the American Statistical Association, 84(408), 853–861.
Dummit, D., & Foote, R. (2004). Abstract Algebra. Wiley.
Eldridge, K. E., & Sagong, S. (1988). The determination of Kaprekar convergence and loop convergence of all three-digit numbers. The American Mathematical Monthly, 95(2), 105–112.
Field, H. (2001). Apriority as an evaluative notion. In Truth and the absence of fact. Oxford University Press.
Fine, K. (1994). Essence and modality: The second philosophical perspectives lecture. Philosophical Perspectives, 8, 1–16.
Floyd, J. (2012). Das Überraschende: Wittgenstein on the surprising in mathematics. In J. Ellis, & D. Guevara (Eds.), Wittgenstein and the philosophy of mind, Oxford University Press.
Gale, R. (1959). Russell’s drill sergeant and bricklayer and Dewey’s logic. The Journal of Philosophy, 56(9), 401–406.
Gannon, T. (2006). Moonshine beyond the monster: The bridge connecting algebra, modular forms and physics. Cambridge University Press.
Gowers, T. (2011). Is mathematics discovered or invented? In J. Polkinghorne (Ed.), Meaning in Mathematics. Oxford University Press.
Guy, R. (1988). The strong law of small numbers. The American Mathematical Monthly, 95(8), 697–712.
Guy, R. (1990). The second law of small numbers. Mathematics Magazine, 63(1), 3–20.
Harman, G. (1977). The nature of morality: An introduction to ethics. Oxford University Press.
Hatcher, A. (2002). Algebraic topology. Cambridge University Press.
Hilbert, D. (1926/1983). On the infinite. In: P. Benacerraf, & H. Putnam (Eds.), Philosophy of mathematics: Selected readings. Cambridge University Press.
Homer. (1919). The Odyssey. Harvard University Press.
Hutter, M., & Farías, I. (2017). Sourcing newness: Ways of inducing indeterminacy. Journal of Cultural Economy, 10(5), 434–449.
Inglis, M., & Aberdein, A. (2015). Beauty is not simplicity: An analysis of mathematicians’ proof appraisals. Philosophia Mathematica (III), 23(1), 87–109.
Jones, V. (1998). A credo of sorts. In H. Dales, & G. Oliveri (Eds.), Truth in mathematics. Clarendon Press.
Kaprekar, D. (1955). An interesting property of the number 6174. Scripta Mathematica, 21, 304.
Kitcher, P. (1989). Explanatory unification and the causal structure of the world. In P. Kitcher & W. Salmon (Eds.), Scientific explanation, Minnesota studies in the philosophy of science. (Vol. 13). University of Minnesota Press.
Krieger, M. (2003). Doing mathematics: Convention, subject, calculation, analogy. World Scientific.
Lakatos, I. (1976). Proofs and refutations: The logic of mathematical discovery. Cambridge University Press.
Lange, M. (2010). What are mathematical coincidences (and why does it matter)? Mind, 119(474), 307–340.
Lange, M. (2017). Because without cause: Non-causal explanations in science and mathematics. Oxford University Press.
Lange, M. (2018). Mathematical explanations that are not proofs. Erkenntnis, 83(8), 1–18.
Lewis, D. (1986). On the plurality of worlds. Basil Blackwell.
Locke, T. (2020). Metaphysical explanations for modal normativists. Metaphysics, 3(1), 33–54.
Mac Lane, S., & Birkhoff, G. (1999). Algebra. AMS Chelsea Publishing.
MacIntyre, A. (1981). After virtue: A study in moral theory. University of Notre Dame Press.
Martin, J. V. (2020). Prolegomena to virtue-theoretic studies in the philosophy of mathematics. Synthese, 66, 1–26.
Martin, U., & Pease, A. (2013). What does MathOverflow tell us about the production of mathematics? arXiv:1305.0904
Mejía-Ramos, J. P., Evans, T., Rittberg, C., & Inglis, M. (2021). Mathematicians’ assessments of the explanatory value of proofs. Axiomathes, 6, 66.
Moore, E. H. (1909). On a form of general analysis with applications to linear differential and integral equations. In Atti del IV Congresso Internazionale dei Matematici (Roma, 6–11 Aprile 1908), (vol. 2), Tipografia della R. Accademia dei Lincei.
Muntersbjorn, M. (2003). Representational innovation and mathematical ontology. Synthese, 134(1/2), 159–180.
Nishiyama, Y. (2012). The weirdness of number 6174. International Journal of Pure and Applied Mathematics, 80(3), 363–373.
Pascal, B. (1658/2000). De l’esprit géométrique et de l’art de persuader. In M. L. Guern (Ed.), Œuvres complétes, t. II, Gallimard.
Pérez Carballo, A. (2016). Structuring logical space. Philosophy and Phenomenological Research, 92(2), 460–491.
Price, H. (2011). Metaphysical pluralism. In Naturalism without mirrors. Oxford University Press.
Railton, P. (1986). Moral realism. The Philosophical Review, 95(2), 163–207.
Rosen, G. (1994). Objectivity and modern idealism: What is the question? In: M. Michael, & J. O’Leary-Hawthorne (Eds.), Philosophy in Mind: The place of philosophy in the study of mind. Springer.
Rosen, G. (2011). Comment on Timothy Gowers’ ‘Is mathematics discovered or invented?’. In J. Polkinghorne (Ed.), Meaning in mathematics. Oxford University Press.
Rosen, G., & Smith, N. J. J. (2004). Worldly indeterminacy: A rough guide. Australasian Journal of Philosophy, 82(1), 185–198.
Rota, G. C. (1997). The pernicious influence of mathematics upon philosophy. In F. Palombi (Ed.), Indiscrete thoughts. Birkhäuser.
Russell, B. (1946/1961). A history of western philosophy. George Allen & Unwin.
Säätelä, S. (2011). From logical method to ‘messing about’: Wittgenstein on ‘open problems’ in mathematics. In O. Kuusela & M. McGinn (Eds.), The Oxford handbook of Wittgenstein. Oxford University Press.
Saccheri, G. (1733/2014). Euclid Vindicated from Every Blemish. Birkhäuser.
Schroeder, M. (2010). Noncognitivism in ethics. Routledge.
Shafer-Landau, R. (2000). A defence of motivational externalism. Philosophical Studies, 97, 267–291.
Shapiro, S., & Roberts, C. (2021). Open texture and mathematics. Notre Dame Journal of Formal Logic, 62(1), 173–191.
Smith, M. (1994). The moral problem. Blackwell.
Spivak, M. (1994). Calculus. Publish or Perish.
Steiner, M. (1978). Mathematical explanation. Philosophical Studies, 34(2), 135–151.
Su, F. (2020). Mathematics for human flourishing. Yale University Press.
Tanswell, F. S. (2018). Conceptual engineering for mathematical concepts. Inquiry, 61(8), 881–913.
Thomasson, A. (2020). Norms and necessity. Oxford University Press.
Univalent Foundations Program. (2013). Homotopy type theory: Univalent foundations of mathematics. Institute for Advanced Study.
van Fraassen, B. (1980). The scientific image. Oxford University Press.
Waismann, F. (1945). Symposium: Verifiability, II. Proceedings of the Aristotelian Society. Supplementary Volumes, 19, 119–150.
Wiggins, D. (1987). Need, value, truth: Essays in the philosophy of value. Oxford University Press.
Williams, M. (2010). Pragmatism, minimalism, expressivism. International Journal of Philosophical Studies, 18(3), 317–330.
Wittgenstein, L. (1930/1975). Philosophical remarks. Basil Blackwell.
Wittgenstein, L. (1953/2009). Philosophical investigations. Wiley-Blackwell.
Wittgenstein, L.(1956/1983). Remarks on the foundations of mathematics. The MIT Press.
Wright, C. (1992). Truth and objectivity. Harvard University Press.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Martin, J.V. Indeterminacy, coincidence, and “Sourcing Newness” in mathematical research. Synthese 200, 28 (2022). https://doi.org/10.1007/s11229-022-03493-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11229-022-03493-5