During your studies of mathematics, physics and engineering, you may find yourself distracted or troubled by meta questions about mathematics — questions that fall outside the syllabi of most of the coursework that you’ll take.
For those for whom this itch is persistent, what follows is an outline and reading list for a Course in the Philosophy and Foundations of Mathematics. Among the topics included are the relation of mathematics to science, the examination of mathematical method, and the search for mathematical meaning.
A Course in the Philosophy and Foundations of Mathematics
An examination of mathematical methods and the search for mathematical meaning.
This course weaves together two lines of inquiry:
- The first track looks at subjects: Mathematics, Science, and Logic.
- The second track considers characteristics: Certainty and Doubt, Empiricism vs. Theory, Abstraction, Proof, Truth and Knowledge.
Within each track, the following questions are considered: what are these concepts? what are their relations and differences with each other? Are any two of them the same? And can they lead us to a better understanding of the enterprise of mathematics? Our investigations along these tracks are facilitated by studying seven topics:
- Topic 1. What is Mathematics? (Its Nature and Characteristics)
- Topic 2. Mathematics and Science
- Topic 3. Some Readings in the History of Mathematics and the Evolution of Its Ideas
- Topic 4. Reality, Truth, and the Nature of Mathematical Knowledge
- Topic 5. The Search for Foundations in Mathematics
- Topic 6. What is Proof? and the Problem of Certainty
- Topic 7. Thoughts on Mathematical Practice and Mathematical Style
The mathematical material of this course moves fluidly from ancient history to modern times, with much in between, and brings in ideas from different branches of mathematical development. But remember, it is not the mastery of the technical material that is the goal of this course. Rather, the important thing is observing the evolution of the ideas, getting to the essence of their motivation, and understanding the characteristics of their development and the fruits of these efforts.
Risks and Rewards
A meta-mathematics itch, once awoken, can take a lot of scratching to satisfy. You should be aware that the ideas you encounter here may pose distractions for you as you proceed along the regular course of your mathematical or technical studies. However, my hope is that an itch such as this, and the ideas you will encounter through this course will inspire you to study further, more broadly, and with greater urgency in both theoretical mathematics and its applications than you might otherwise do. With persistent inquiry and hard work, you will find at some point that you have a much more intimate understanding of your chosen subject, an understanding that should give you a sense of well-being, of historical and philosophical connectedness to the mathematics of the past, and pleasure at the prospect of continuing to participate in mathematical discovery, whether for yourself as an amateur or as a professional mathematician, engineer, or applied scientist.
To keep the course-materials inexpensive and readily accessible for the interested reader to pursue, I have adapted the original readings list for this course to favor materials that are now available freely online.1
Syllabus and Reading List
Topic 1. What is Mathematics? (Its Nature and Characteristics.)
- Article: What is Mathematics? (Davis/Hersh), pp. 6-8
- Article: A General View of Mathematics (Aleksandrov), in Mathematics: Its Content, Methods, and Meaning (Aleksandrov/Kolmogorov/Lavrentev), pp.1-64
- Book: Proofs and Refutations: The Logic of Mathematical Discovery (Lakatos), pp.6.ff (entire book)
- This book is worth buying for your library.
- [Read online – Partial Preview only (Google Books), pp.6-18]
Topic 2. Mathematics and Science
- Article: The Unreasonable Effectiveness of Mathematics in the Natural Sciences (Wigner)
- Article: The Unreasonable Effectiveness of Mathematics (Hamming)
- Article: Science and Hypothesis: Author’s Preface (Poincare), pp.xxi to xxvii
- Article: Mathematics as an Objective Science (Goodman)
- [Preview Article — first page only] (from JSTOR)
- Article: Why a little bit goes a long way: Logical foundations of scientifically applicable mathematics (Feferman)
Topic 3. Some Readings in the History of Mathematics and the Evolution of Its Ideas
- Article: Pre-modern algebra: A concise survey of that which was shaped into the technique and discipline we know (Hoyrup)
- Article: Evolution of the Function Concept: A Brief Survey (Kleiner)
- Article: The Evolution of Group Theory: A Brief Survey (Kleiner)
- Article: Excursus into the History of Calculus (Kutateladze)
- Article: History of the Formulas and Algorithms for (Goyanes)
- Book: A History of Astronomy Ch.1–5, pp.1-62 (Pannenoek)
Astronomy as a catalyst driving the increasing sophistication of arithmetic, algebra, geometry and calculational methods in Ancient Mathematics (Babylonia, Assyria, Egypt, Vedic India, Greece, and Alexandria), Muslim mathematics (Arabia, Persia, Central Asia), and in Renaissance Europe.
- [Read Ch.1–5 online (Ancient Mathematics)] (Google Books)
- Book: A History of “Modern” Mathematics (from the start of the 1700s to the end of the 1800s) (Smith)
Topic 4. Reality, Truth, and the Nature of Mathematical Knowledge
The problem of determinism and error. Is nature continuous of discrete? What is Reality? What is Truth? Are the real numbers useful? Empirics and description vs. axiomatics and deduction?
- Article: The Nature of Truth (Schatz)
- Article: Mathematics, Physics, and Information (Brillouin, 1957, Inform. and Control 1, 1-5)
- [Download PDF] (Elsevier)
- Article: Inevitable Experimental Errors, Determinism, and Information Theory (Brillouin, 1959, Inform. and Control 2, 45-63)
- [Download PDF] (Elsevier)
- Article: Poincare’s Theorem and Uncertainty in Classical Mechanics (Brillouin, 1962, Inform. and Control 5, 223-245)
- [Download PDF] (Elsevier)
- Article: Mathematical Intuition vs. Mathematical Monsters (Feferman)
Topic 5. The Search for Foundations in Mathematics
- Article: The development of programs for the foundations of mathematics in the first third of the 20th century (Feferman)
- Article: Does Mathematics Need New Axioms? (Feferman)
Topic 6. What is Proof? and the Problem of Certainty
“You can be certain and be wrong.”
– John Kerry, 2004 Presidential Election against George W. Bush
- Article: Rigor and Proof in Mathematics: A Historical Perspective (Kleiner)
- Article: There’s More to Mathematics than Rigour and Proofs (Tao)
- Article: How to Write a Proof (Lamport)
An argument for heirarchically structured proof instead of the commonly used prose-proof style.
- Article: A Collection of Beautiful Proofs (Dijkstra)
- Article: The Mathematical Divide (Dijkstra)
An argument for why computational proof methods should be encouraged.
Topic 7. Thoughts on Mathematical Practice and Mathematical Style
- Essays on the Nature and Role of Mathematical Elegance (Dijkstra)
- On the Quality Criteria for Mathematical Writing (Dijkstra)
- What is Good Mathematics? (Tao)
- . . . if you have enjoyed the materials or have suggestions,
- . . . if you’re a student and have taken a course such as this, or
- . . . if you have taught a similar course
drop me a line. I would welcome hearing from you.
Further Work (Collaborators welcomed!)
A course such as that outlined in the preceding would, I believe, be useful in all three areas of education: secondary, post-secondary (undergraduate), and graduate, appropriately restructured:
- as a secondary school elective to encourage bright students in mathematics, science and technology to enter the university with a broader perspective on the mathematics they will be rapidly learning there.
- as a university elective course, offered as a writing-intensive seminar, intended primarily for students in the sciences and engineer: mathematics, physics, engineering.
- as a graduate level course, offered in the first year of graduate school in mathematics or applied mathematics as a supplementary seminar.
There is much that can be done.
If collaborating on future work in this direction sounds interesting, your efforts would be welcomed!