Logic and Foundations of Mathematics Commons^™

Magicicada And Mathematics: What The Parochiality Of Our Explanations Means For The Indispensability Argument, Jadyn Malone

Philosophy Senior Theses

This thesis examines whether the indispensability argument justifies belief in the existence of mathematical entities. I adopt ontological naturalism, arguing that we should believe in entities that feature in our best scientific theories, which are determined through inference to the best explanation. The indispensability argument contends that because mathematical entities are explanatorily indispensable to our best scientific theories – as demonstrated by examples like the prime number explanation of cicada life cycles – we should believe they exist just as we believe in electrons and stars.

However, I identify a challenge: our scientific explanations are inherently parochial, shaped by human …

Alternative Ontology For Ante Rem Structuralism Based On Huayan Buddhist Metaphysics, Chul Soon Hwang

CMC Senior Theses

Ante rem structuralism is a version of mathematical structuralism presented by Shapiro (1997) that asserts the existence of mathematical objects. It stands out amongst other structuralist views in that it secures a face value semantics for mathematical statements. In this paper, I propose an alternative ontology where structures are fully explained by relations. I argue that this alternative ontology avoids arguments against ante rem structuralism’s endorsement of indiscernible entities while retaining the convenience of a face value semantics for mathematical expressions.

This ontology is based on mereological nihilism and the Huayan Buddhist argument that an object can be fully described …

The Agnostic Structure Of Data Science Methods, Domenico Napoletani, Marco Panza, Daniele Struppa

MPP Published Research

In this paper we argue that data science is a coherent and novel approach to empirical problems that, in its most general form, does not build understanding about phenomena. Within the new type of mathematization at work in data science, mathematical methods are not selected because of any relevance for a problem at hand; mathematical methods are applied to a specific problem only by `forcing’, i.e. on the basis of their ability to reorganize the data for further analysis and the intrinsic richness of their mathematical structure. In particular, we argue that deep learning neural networks are best understood within …

Maths Living In Social Arenas, From Practice To Foundations, Nigel Vinckier

Journal of Humanistic Mathematics

Maths comes to life in human interaction. This has consequences for the mathematics itself. This paper discusses how this ``coming to life'' of mathematics in different social arenas influences the foundations of maths. We will argue that this influence is profound, to the extent that it is hard to upkeep the idea that there is or should be one foundation on which all mathematics can be built.

The Philosophy Of Mathematics: A Study Of Indispensability And Inconsistency, Hannah C. Thornhill

Scripps Senior Theses

This thesis examines possible philosophies to account for the practice of mathematics, exploring the metaphysical, ontological, and epistemological outcomes of each possible theory. Through a study of the two most probable ideas, mathematical platonism and fictionalism, I focus on the compelling argument for platonism given by an appeal to the sciences. The Indispensability Argument establishes the power of explanation seen in the relationship between mathematics and empirical science. Cases of this explanatory power illustrate how we might have reason to believe in the existence of mathematical entities present within our best scientific theories. The second half of this discussion surveys …

Book Review: How To Bake Pi: An Edible Exploration Of The Mathematics Of Mathematics, Darren B. Glass

Math Faculty Publications

If you think about it, mathematics is really just one big analogy. For one example, the very concept of the number three is an drawing an analogy between a pile with three rocks, a collection of three books, and a plate with three carrots on it. For another, the idea of a group is drawing an analogy between adding real numbers, multiplying matrices, and many other mathematical structures. So much of what we do as mathematicians involves abstracting concrete things, and what is abstraction other than a big analogy? [excerpt]

Philosophy Of Mathematics: Theories And Defense, Amy E. Maffit

Williams Honors College, Honors Research Projects

In this paper I discuss six philosophical theories of mathematics including logicism, intuitionism, formalism, platonism, structuralism, and moderate realism. I also discuss problems that arise within these theories and attempts to solve them. Finally, I attempt to harmonize the best features of moderate realism and structuralism, presenting a theory that I take to best describe current mathematical practice.

Prove It!, Kenny W. Moran

Journal of Humanistic Mathematics

A dialogue between a mathematics professor, Frank, and his daughter, Sarah, a mathematical savant with a powerful mathematical intuition. Sarah's intuition allows her to stumble into some famous theorems from number theory, but her lack of academic mathematical background makes it difficult for her to understand Frank's insistence on the value of proof and formality.

Sylvester: Ushering In The Modern Era Of Research On Odd Perfect Numbers, Steven Gimbel, John Jaroma

Philosophy Faculty Publications

In 1888, James Joseph Sylvester (1814-1897) published a series of papers that he hoped would pave the way for a general proof of the nonexistence of an odd perfect number (OPN). Seemingly unaware that more than fifty years earlier Benjamin Peirce had proved that an odd perfect number must have at least four distinct prime divisors, Sylvester began his fundamental assault on the problem by establishing the same result. Later that same year, he strengthened his conclusion to five. These findings would help to mark the beginning of the modern era of research on odd perfect numbers. Sylvester's bound stood …

Existence In Mathematics, Willis J. Alberda

Pro Rege

No abstract provided.