21st Biennial ACMS Conference: Call for Papers

The Twenty First Biennial ACMS conference will be held at Charleston Southern University in Charleston, South Carolina May 31-June 3, 2017. The featured speakers are Sloan Despeaux, Dominic Klyve and Derek Schuurman. In the coming months, conference details will be posted at http://acmsonline.org/2017-acms-conference/

At this time proposals are being accepted for talks. The submitted proposals need to include the presenter’s name, presentation title, and an abstract of 250 words or less. Please provide your abstract in Word or TeX/LaTeX. Most presentations are expected to last 15 minutes plus a 5 minute transition time between speakers. A selection of the presentations will last for 25 minutes with a 5 minute transition. Please indicate if you would like to be considered for a longer presentation. There will also be a poster session, especially for students. You will be notified at a later date whether your submission has been selected for the conference.

ACMS is looking for presentations in the following general categories:

 Computer Science

 Computer Science Education

 Mathematics

 Mathematics Education

 Statistics

 Statistics Education

 Interaction of Faith and Discipline

Proposals should be sent to ddawson (at) csuniv.edu by February 15, 2017. Please put “ACMS proposal” in the subject line. Any proposal received after February 15 will be considered if space remains.

Refereed Proceedings:

Please note that this year’s ACMS Proceedings will be refereed. To allow authors time to incorporate audience feedback into their papers, all submissions to the Proceedings will be due September 15, 2017. Submissions for the Proceedings should be in TeX or LaTeX (this type setting software can be obtained for free). If you are not familiar with this software, Tom Price will be offering a workshop in using LaTeX as part of the pre-conference.

God: One and Infinite

by Dr. Daniel Kiteck, Indiana Wesleyan University

The following is from a talk given by Dr. Kiteck at the ACMS Conference this past May. It is with his gracious permission that I am sharing it here. 

Abstract

The ontology of mathematical objects has been of interest for millennia. I focus on the ontology of the number one in relationship to the ontology of God.

1. Introduction

Let ONE represent “the essence of what ‘the number one’ is.” I focus on the cardinal nature of the number one as opposed to its ordinal nature. The primary question is “What is ONE?” First, consider:

“There is no physical entity that is the number 1. If there were, 1 would be in a place of honor in some great museum of science, and past it would file a steady stream of mathematicians gazing at 1 in wonder and awe.” [Fraleigh and Beauregard, Introduction]

Why would mathematicians be in wonder over the number one?

2. ONE in Mathematics

ONE is foundational to counting, which is foundational to much of mathematics. This is nicely shown by Doron Zeilberger in his Fundamental Theorem of Enumeration: [Gowers et al., 2010, p. 550]

number one

With some philosophical hand waving (which I admit deserves more attention, but that will be suppressed for now), ONE can be seen as foundational to much of the mathematical spaces that mathematicians work within. Just starting with ONE, we immediately have a unit {1}. From this we can imagine the existence of the unit and the non-existence of the unit: {0, 1}. But, imagining ONE twice, ONE three times, and so on brings us to N. Bringing in the concept of symmetry of an anti-ONE, an anti-ONE twice, etc., gives us Z. But then considering the set of all integers over non-zero integers, Q, and the set of all Dedekind cuts, R, (recalling that each Dedekind cut is an infinite set of rational numbers), we quickly imagine ordered pairs, triples, etc. to then have R 2 , R 3 , etc. So ONE is important to mathematics. But, is ONE important to Jesus?

3. ONE in Theology

3.1 Mark 12

In Mark chapter 12, someone asks Jesus “Of all the commandments, which is the most important?” Jesus famously responds with loving God and loving neighbor. But, the first part of Jesus’ response in verse 29 is

“The most important one,” answered Jesus, “is this: ‘Hear, O Israel The Lord our God, the Lord is one.’ ”

Jesus is quoting one of the most important pieces of scripture for the Jews, from Deuteronomy 6:4. My understanding is that this is commonly not seen as God being numerically one, so differing from ONE, but I still see it as reasonable to ask about how “One God” is related to ONE. But, first, where else in the Bible is it common to use the word “one?”

3.2 More than One?

In Genesis 2 we have two (husband and wife) becoming “one flesh.” But then in Ephesians 5 Paul informs us that this is a mystery actually referring to Christ and the Church. In traditional Christian Theology we have God as trinity [1] : “Three in One.” How are these connected to ONE?

4 The Ontology of ONE

4.1 Trinity

Does the concept of the trinity lead us to ONE and THREE as eternal concepts? Or does it lead us to conclude that we must leave the relationship between God and numbers a mystery? [2]

4.2 One God

Was there one God before God created the number one? I like asking this question to my students. Here are some responses attempting to honor God’s sovereignty: ONE is…

  • part of a “continuous creation,” so distinct from God [Howell and Bradley, 2001, p.71]
  • uncreated, so part of the nature of God in a mysterious way [Boyer and Huddell III, Spring 2015]
  • not “real” in a Platonic sense [Bradley and Howell, 2011, p. 230-235]
  • …wait!…Is “one” the same in “one God” and “number one?” [Ibid.]

Let’s explore this last question.

4.3 Necessity

Is ONE necessary in any universe God may create? I claim “yes” since one universe would be recognized by God.

But what if God had chosen not to create anything? Is ONE necessary then? [3] Perhaps another way to put it is: Must God’s eternal unique existence correspond to ONE? In light of the trinity, I am not confident in making a claim either way. And, in fact, in light of the oneness of Christ and the church, there seems to be some things concerning ONE that may be beyond our understanding. Or perhaps ONE should be seen as a rather distinct idea from many other ideas that are represented by the word “one.”

5 Conclusion

ONE is important to mathematics. “One God” is important to Jesus, but we must be careful with how this relates to ONE, especially in light of the trinity and the sovereignty of God. May our questions concerning ONE, and with mathematics in general, increase our wonder of the ultimate one, God.

I give a special thanks to my wife Karen for helping me sort my thoughts.

Bibliography

Steven D. Boyer and Walter B. Huddell III. Mathematical knowledge and divine mystery: Augustine and his contemporary challengers. Christian Scholar’s Review, XLIV(3):207–235, Spring 2015.

W James Bradley and Russell W Howell. Mathematics through the eyes of faith. HarperCollins Publishers, 2011.

J Fraleigh and R Beauregard. Linear algebra. 1990.

Timothy Gowers, June Barrow-Green, and Imre Leader. The Princeton companion to mathematics. Princeton University Press, 2010.

Russell W Howell and W James Bradley. Mathematics in a postmodern age: A Christian perspective. Wm. B. Eerdmans Publishing Co., 2001.

References

[1] I thank William Lindsey for pointing out the importance of including the trinity in this presentation

[2] I thank Kevin Vander Meulen for this question.

[3] A conversation with Jim Bradley sparked this question. Thank you Jim Bradley for the opportunity!

A Triune Philosophy of Mathematics

by Dusty Wilson, Highline College

The following is from a talk given by Dusty Wilson at the ACMS Conference this past May. It is with his gracious permission that I am sharing it here. Here is a link to a previous talk given by Dusty on “Where does mathematics come from?”

Abstract

What is mathematics and is it discovered or invented? The Humanist, Platonist, and Foundationalist each provide answers. But are the options within the philosophy of mathematics so limited? Rather than viewing and describing mathematics in a mutually exclusive manner, each of these approaches includes components of truth from a greater triune philosophy of mathematics. This paper will briefly outline existing philosophies and then introduce an inclusive triune paradigm through which to explore fundamental questions about mathematics.

1 Introduction

My parents were hippies who were leery of traditional education. So out of a desire to both protect and also encourage questioning they put me into alternative public schools. These weren’t edgy enough and so they allowed me to homeschool junior high into high school. This put me on a fast track and I began community college during what would have been my junior year of high school. I jumped right into calculus and worked my way through differential equations. After two years I transferred to The Evergreen State College to continue my alternative education with an interdisciplinary liberal arts degree studying political science, literature, and mathematics. With such an eclectic background, I didn’t have a clear direction following my bachelor’s degree so I went on to graduate school in mathematics thinking, “If this doesn’t work out, I can do something else later.” While a graduate student I was given the opportunity to teach and my career path suddenly became clear. I was hired by Highline College right out of graduate school where I became the youngest tenured faculty member in College history.

While this makes me sound smart, it really means that I had a lot of growing to do as an educator and colleague. But I was in a supportive environment and by my eighth year I was firmly established as a teacher, in service, and in professional growth, and I generally felt that I knew my professional direction. In 2008 I attended a talk by a colleague [2]. The talk itself was on polling and statistics and not related to this paper. However in the midst of the lecture my coworker said, “I think math was invented by people, not discovered.”

Is math discovered or invented? In all my non-traditional education as well as traditional community college and graduate studies and then continuing into the first eight years of my professional work, I don’t once recall having asked myself the question, “Where does math come from?” But while this was the first time these ideas had ever registered in my mind, I have come to realize over the last seven years of study that I had subconsciously adopted a framework for understanding mathematics. As John Synge said, “[E]ach young mathematician who formulates his own philosophy — and all do — should make his decision in full possession of the facts. He should realize that if he follows the pattern of modern mathematics he is heir to a great tradition, but only part heir.” [9, pp. 166] This certainly encapsulates my mathematical journey.

As I have come to have “full possession of the facts”, I’ve learned that there are three main ways to explain the origin of mathematics. Within each of these broad categories there is a spectrum of nuance. Others have written compelling descriptions of this, but allow me to outline using broad strokes so that I may synthesize the field. The three broad views are as follows.

Foundational philosophies: Mathematics is developed from axioms and definitions using logic

Humanistic philosophies of mathematics: Mathematics is invented by humans who are the source of math

Mathematical Platonism Also called ’mathematical realism’, this view holds that mathematics exists ‘out there’ to be discovered; perhaps owing its existence is to God, but perhaps not

While some readers may recognize or be able to articulate their philosophy of mathematics, others may resonate with my story in that I was years into my career as a professional without realizing that I even had a view. I believed mathematics devoid of presupposition without even having the vocabulary to articulate my own presupposition about the field. So as I clarify the basic views available for later synthesis, I encourage you to ask yourself where these views match your training, intuition, and pedagogy.

2 The Foundational Philosophies

The first paradigm is that math is logic — this is the basis of the foundational philosophies: intuitionism, logicism, and formalism. If you do research on the philosophy of mathematics, these three views are described over and over again to the point that they nearly define the field.

The intuitionists such as Kronecker and Brouwer held that humans create the axioms of logic/mathematics and that we then manipulate these axioms to construct the theorems of mathematics in a constructivist manner. Because it stems from our work, the intuitionism shows existence by demonstrating a formula/algorithm/recipe to explain how each entity may be constructed. Because of this, intuitionists rejected proof by contradiction as well as the existence of an actual infinity. For them the source of mathematics was decidedly human. Or as Kronecker famously wrote, “God made the integers, all else is the work of men.” [11, pp. 19]

figures

The logicists movement was begun by Frege, reached its height with Russell and Whitehead, and concluded with Godel. They felt that the axioms of logic were self-evident truths that were known intuitively to the logician. They accepted the rules of logic apriori. In their effort to make solid their foundation, they held that some axioms were self-evident that are not so evident. Certainly the axiom of choice is on this list. Of the foundational camps, logicism was the most fully developed. For the logicist, the source of mathematics was beyond the human experience, self-evident, and discovered (albeit by a select few).

The formalists led by Hilbert were perhaps the largest group. They did not concern themselves with the source of the axioms but worked from these using every clever device they could devise. They had no issue with contradiction or infinity. Hilbert referred to math as a meaningless game. [1, pp. 21] The formalist didn’t have a strong opinion about where mathematics comes from; after all, it didn’t matter anymore than the source of Chess or Monopoly.

3 Mathematical Humanism

The second paradigm is mathematical humanism: all mathematics is somehow human in nature/origin. Unlike the foundational philosophies, the subcategories are not as clearly defined. In part this is because mathematical humanism is more current and thus hasn’t had as much time to mature. The spectrum within mathematical humanism that I will discuss ranges from a biology-brain model, to language, and ends with social constructivism. Of these, the idea that math is a language is probably the oldest while social constructivism seems most dominant among educators.

According to authors Lakoff and Nunez, our ability to perform abstract reasoning is biological. [8, pp. 347] Mathematics is ultimately grounded in experience. [8, pp. 49] It is effective because mathematics is a product of evolution and culture. [8, pp. 378] Mathematics doesn’t have an independent existence. It is culture dependent and only exists through grounding metaphors. [8, pp. 3 356, 368] Consequently the philosophy of mathematics is the realm of cognitive science and not the domain of mathematicians. [8, pp. xiii] Where does mathematics come from? For these philosophers, the source of mathematics is biological and evolutionary and thus serves only an evolutionary purpose. . . which is to say it has no intended purpose.

Perhaps the most commonly held humanistic philosophy of mathematics is summed up in the phrase, “Mathematics is the language of science.” This originates with Galileo who wrote: “[The universe] cannot be understood unless one first learns to comprehend the language and read the letters in which it is composed. It is written in the language of mathematics, and its characters are triangles, circles, and other geometric figures without which it is humanly impossible to understand a single word of it.” [3, pp. 4] Today this phrase is most often used outside of university math departments because it defines mathematics through its applications and universities produce pure mathematicians (more akin to the formalists of the foundational movement). The basic premise of the view is that mathematics is invented as a way to describe discoveries in the natural world. Math isn’t monolithic and unchanging because language changes. The strength of this view is that it seems to explain the perceived transcendence and beauty in math by tying it back to science.

Mathematics is something people do according to Reuben Hersh. [5, pp. 30] The philosophy of mathematics is the study of what mathematicians do. [5, pp. xii] The emphasis of social constructivism is on practice. As a practice there has been an evolution of mathematical knowledge. [5, pp. 224] This extends even to including proof itself. [5, pp. 6] As such, mathematics is a social construction. It draws on conventions of language, rules, and agreement in establishing truths. Mathematical knowledge and concepts change through conjectures and refutations. The focus is on creation rather than the justification knowledge. [5, pp. 228]

4 Mathematical Platonism

The third paradigm is mathematical Platonism (or mathematical realism) and is loosely based on the Plato’s theory of forms and divided line. There is less explicitly written supporting Platonism (and much against). However many mathematicians are Platonists although not aware of it. Some know it and are reluctant to admit it because it seems mystical. Unlike the foundational philosophies and mathematical humanism, there is less written on the subtlety and nuances of Platonism. Thus the spectrum that I am about to describe is of my own creation (that is, unless I happened to get it from some abstract realm).

As given in Principia, Russell practiced what I dub, “finite mathematical Platonism.” He began from a short list of self-evident “discovered” axioms. Then mathematics was built/created from these few eternal building blocks. This is a similar approach to that taken by Euclid. Finite Platonism gels nicely with the axiomatic method. It probably isn’t a stretch to claim that the opti- 4 Mathematical Platonism/Realism Finite Axioms Countable Uncountable (All Truth) (Kitchen Sink) Figure 3: How much lies within the Platonic realm? mism following the “discovery” of Newton’s laws stemmed from this same view: namely that the universe could be described by just a few simple laws. Today physicists are searching for the theory of everything . . . a few simple statements to describe all. In this view, very little is required of the mathematical form (which only contains a few statements) and much of the human mathematician (who massages the few givens into the body of mathematics). So where does mathematics come from? Well it begins with a few eternal truths and then is created by the mathematician.

realism

The most widely held version of realism holds that all mathematical truth is found “out there” (in the Platonic form). This includes triangles, pi, and the golden ratio. It also includes every real number (yes, I know they are uncountable) and proofs big and small (think the proof of Pythagorean theorem vs. that of Fermat’s Last Theorem). That is every true mathematical statement (regardless of how useful or elegant) can be discovered in the form. One author, Lakoff, calls this the romance of mathematics. [8, pp. xv]

Finally, the philosopher Alvin Plantinga affirmed what I call an uncountable mathematical Platonism. As a theist, he holds that math exists in the mind of God. He sees all mathematical entities as uncreated necessary beings whose existence is affirmed by God’s nature. For Plantinga, God affirms the existence of all propositions, states, and possible worlds. But God affirms the truth of only some. [10, pp. 143] This is a kitchen sink view. That is everything exists “out there” to be discovered—true and false. But not all is true.

5 Mutually Exclusive Models?

In my reading, most authors want you to choose one and only one paradigm. They often use an elimination argument to justify their position. For example, a typical humanist’s argument might be summarized: formalism is dead and Platonism requires God. Thus the only option remaining to us is humanism. The problem is that this assumes that (a.) the discussed options are disjoint, (b.) that all the options are being considered, and (c.) that the premises are correct. I am going to focus on the first assumption: namely that the options are disjoint.

At first glance, Platonism, humanism, and the foundational views seem mutually exclusive (disjoint). If math is discovered “out there” then it can’t originate within us. If it comes from within us, then it isn’t a game we play, and certainly a meaningless game sounds nothing like the eternal truths of an 5 Humanistic Philosophies Mathematical Platonism/Realism Foundational Philosophies Intuitionism Logicism Formalism Biology & Brain Finite Axioms Language Countable (All Truth) Social Construction Uncountable (Kitchen Sink) Figure 4: A synthesis of views ideal realm. But perhaps this is a false trichotomy.

Consider the often told Indian parable of blind men trying to describe an elephant. One blind man feels a serpent, another a tree, and a third a spear. While these seem very different, we know that the legs, trunk, and tusks of an elephant are all part of the same animal. Could our seemingly mutually exclusive views of mathematics simply be appendages of a greater and more inclusive truth?

What I am proposing is a triune philosophy that envelops and includes much of a wide swath of the paradigms discussed. Whereas before, we saw three world views, each with its own nuances, now we envision mathematics on a higher dimension.

trinity math

The key to this view is quite simple. Namely that the center of each of the three views represents the strength of the position. I dare say that many would agree that mathematics is a logical language we speak to describe abstract or immaterial truths.

To understand this view, it is insightful to think about what each paradigm sees as its greatest ideological adversary. We see this by comparing the center of each edge with its opposite vertex.

Example 1 Mathematics is a product of the neural capacities of our brains, the nature of our bodies, our evolution, our environment, and our long social and cultural history.

Authors Lakoff and Nunez explain their view and make it very clear who/what they view as their opposition. “Mathematics as we know it is human mathematics, a product of the human mind. Where does mathematics come from? It comes from us! We create it . . . Mathematics is a product of the neural capacities of our brains, the nature of our bodies, our evolution, our environment, and our long social and cultural history.” [8, pp. 9]

They take on Platonism very directly. They write, “Human beings can have no access to a transcendent Platonic mathematics, if it exists. A belief in Platonic mathematics is therefore a matter of faith . . . There can be no scientific evidence for or against the existence of a Platonic mathematics . . . therefore human mathematics cannot be part of a transcendent Platonic mathematics, if such exists. [8, pp. 4]

Whether you accept their argument or not, it should be clear that they see the primary counterargument to their biology & brain explanation for the origin of mathematics as what they dub “The Romance of Mathematics.” As they write, it’s the stuff of movies like 2001, Contact, and Sphere. But while it initially attracted them to mathematics, they are now more enlightened. [8, pp. xv]

Example 2 Formalism vs. mathematics as the language of science—the debate between pure vs. applied mathematics.

The distinction we make between pure and applied mathematics is relatively recent. Are we standing on the shoulders of mathematicians or physicists – a good argument can be made for both. Prior to 1900, one can make the broad generalization that there was some pure mathematics but no pure mathematicians. But around the time when the foundational philosophies were being developed, this distinction was drawn. As G.H. Hardy wrote, “Pure mathematics is on the whole distinctly more useful than applied.” [4, pp. 134] Taking this one step farther, the father of Formalism, David Hilbert is quoted as saying, “Mathematics is a game played according to certain simple rules with meaningless marks on paper.” For the formalist, mathematics was certainly a language. However, it wasn’t a language intended to communicate information outside of mathematics. Rather than being the language of science, mathematics was the language of mathematics.

The author Morris Kline wrote that most mathematicians have withdrawn from the world to concentrate on problems generated within mathematics. They have abandoned science. [7, pp. 278] Today mathematicians and physical scientists go their separate ways . . . mathematicians and scientists no longer understand each other. [7, pp. 286] Under the influence of formalism and the other foundational philosophies, mathematicians no longer speak the language of science.

Example 3 Mathematics is fallible and a social construction.

The social constructivists reject the narrow definition that math is logic. For example, the humanist Reuben Hersh is concerned with the edifice that remains in university mathematics departments. He believes that his philosophy recognizes the scope and variety of mathematics, fits into general epistemology and philosophy of science [note, science and not mathematics], is compatible with practice – research, application, teaching, history, calculation, and mathematical intuition. He also rejects certainty and indubitability as false and misleading. [5, pp. 33]

The opposition is clear: It’s the foundational philosophies (primarily formalism as the most dominant view). Proof in particular is the opponent of this view. Hersh writes, “The trouble is, ‘mathematical proof’ has two meanings. In practice it’s informal and imprecise. Practical mathematical proof is what we do to make each other believe our theorems. Theoretical mathematical proof is formal. It’s transformation of certain symbol sequences according to certain rules of logic.” [5, pp. 49] The only reason to believe in mathematics is—it works! [5, pp. 213] There is no infallibility. [5, pp. 215]

Hersh wants to redefine mathematics as fallible and a social construction. As such he must take on the establishment. And the power brokers in mathematics hold the foundational view that math is logic and as such is pure and unchanging.

Before further sharing what I call the triune philosophy of mathematics, it’s important to recognize that ideas have consequences, and that this remains a truism in the philosophy of mathematics as it is elsewhere. The way we answer “Where does math come from?” impacts research and education. Given my own background as an educator, I’d like to say few words on education.

Example 4 The philosophy of mathematics and its influence on education.

Nicolas Bourbaki is the collective pseudonym under which a group of mathematicians wrote a series of books with the goal of grounding all of mathematics in set theory. Their approach is similar to that of the formalists. The manifesto of Bourbaki has had a definite and deep influence. In secondary education the new math movement corresponded to teachers influenced by Bourbaki. ”The devastating effect of formalism on teaching has been described … [5, pp. 238]” through books like Why Johnny Can’t Add. [6]

Today we can see the influence of each major paradigm through the competition between teaching through a discovery method, cooperative learning, and skill based manipulations. Given the massive fiscal investment in mathematics education in the U.S., finding the perfect pedagogy is somewhat of a holy grail. But what if our issue is having too limited a view on mathematics? While I don’t claim to be an expert on human cognition or learning, I postulate that a pedagogy that incorporated aspects of all three major philosophies would be more attractive to the next generation of students. If you will, it’s almost a philosophical parallel to teaching to multiple learning styles.

6 A Synthesis of Views

If the three major branches of the philosophy of mathematics are not mutually exclusive, it is possible that a broader, more inclusive, philosophy of mathematics exists. Is mathematics invented or discovered – yes. I’m proposing a view that incorporates the strengths of each paradigm but that comes with some ambiguity – what I am calling, “A triune philosophy of mathematics.”

Just to clarify, this essay isn’t intended to end a discussion but rather to begin a conversation. What is good? What arguments are logically sound? What passes the experiential sniff test? This conversation is going to force us to go much deeper into the details than this paper has allowed. And as Whitehead and Russell learned full well, the devil is in the details.

triune

For me, this was the image that first opened my eyes to a triune philosophy of mathematics. It incorporates the greatest strengths of each paradigm inside a single figure. There is a common practice of mathematics between philosophies. That is, our old friends from calculus and algebra haven’t changed—the integral and derivative are calculated the same way whether discovered, invented, or based on the axioms of logic.

One powerful aspect of this model is that it gives a place to look for counterarguments. That is, the center of each edge of the original triangle is strong while its vertices are potential weaknesses. As we look to certain places to find counter examples to prove/disprove a mathematical claim, this gives us a direction to look to substantiate/discount philosophical arguments.

Bear in mind that the distinctions I am making are tentative. That is the vertices of the new solid triangle (triune math) could shift to include more/less of the gray triangle. For that matter, one might argue that these are not triangles at all, but that there are many more sides on each figure. But while I acknowledge that this is a legitimate objection and requires serious consideration, it isn’t my hypothesis.

For the humanist, the source of truth must come from within the cosmos. The Platonist says math resides outside the material world. The foundationalist says that math is from self-evident axioms and doesn’t bother to justify their existence. Going back to the parable of the blind men and the elephant, there was a clear source for higher knowledge (namely the elephant). If this triune philosophy more fully describes the nature of mathematics, then it too is likely grounded in a greater rationale.

I believe mathematics is firmly grounded in the triune God of orthodox Christianity. Following in the footsteps of Kepler, Newton, Euler and countless others, I believe that there are aspects of mathematics that go beyond the physical world:

  1. mathematics is logical and self-existent because it is part of the nature of a logical and self-existent God
  2. humans create and speak the language of mathematics as image bearers of one who walked among us
  3. we can discover eternal transcendent truth because the spirit of God speaks to each one of us

For some the very mention of God may be enough to discredit this whole triune philosophy of mathematics. For others, the selection of a specific God may be too much. I accept this critique but challenge you: Is there any existing philosophy of mathematics that fully describes the marvel and practice of mathematics? If not, could there be a greater elephant in need of description? If so, what is its size and shape?

Conclusion

So far as I know, this triune philosophy of mathematics is a new idea (perhaps discovered, perhaps invented). This essay marks the first time it has been shared in print. It’s quite possible that I will soon find out the importance of tenure as this could be the last essay I ever write. Jests aside, I anticipate next steps in two directions. The first is in answering the likely objections that this paper will receive. The second is in fleshing out the details wherein the truth most likely lies.

Is it worth it? Yes, ideas have consequences and we have gone too many years under the allusion that mathematics is a field devoid of presuppositions. This introduction to a triune philosophy of mathematics should bring this out in the open. Something needs to change in mathematics and I propose that it is how we view and understand where mathematics comes from.

References

[1] E. Bell. Mathematics: Queen and Servant of Science. Bell, London, 1952.

[2] H. Burn. Polling: When mathematics meets the real world. In Highline College: Science Seminar, 2008.

[3] G. Galilei. The Assayer. unknown, 1623.

[4] G. Hardy. A Mathematician’s Apology. Cambridge, Cambridge, 1940.

[5] R. Hersh. What is Mathematics, Really? Oxford, New York, 1997. 10

[6] M. Kline. Why Johnny Can’t Add. Random, New York, 1974.

[7] M. Kline. Mathematics: The Loss of Certainty. Oxford, New York, 1982.

[8] G. Lakoff and R. E. Nunez. Where Mathematics Comes From. Basic, New York, 2000.

[9] J. Nickel. Mathematics: Is God Silent? Ross House, Vallecito, 2001.

[10] A. Plantinga. Does God Have A Nature? Marquette, Milwaukee, 1980.

[11] H. M. Weber. Obituary for leopold kronecker. unknown, 2:5–31, 1891/2.