The British Journal for the Philosophy of Science Advance Access originally published online on February 13, 2007
The British Journal for the Philosophy of Science 2007 58(1):77-112; doi:10.1093/bjps/axl030
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
The Last Mathematician from Hilbert's Göttingen: Saunders Mac Lane as Philosopher of Mathematics
Department of Philosophy, Case Western Reserve University, Cleveland, OH, USA 44106
colin.mclarty{at}case.edu
| Abstract |
|---|
While Saunders Mac Lane studied for his D.Phil in Göttingen, he heard David Hilbert's weekly lectures on philosophy, talked philosophy with Hermann Weyl, and studied it with Moritz Geiger. Their philosophies and Emmy Noether's algebra all influenced his conception of category theory, which has become the working structure theory of mathematics. His practice has constantly affirmed that a proper large-scale organization for mathematics is the most efficient path to valuable specific resultswhile he sees that the question of which results are valuable has an ineliminable philosophic aspect. His philosophy relies on the ideas of truth and existence he studied in Göttingen. His career is a case study relating naturalism in philosophy of mathematics to philosophy as it naturally arises in mathematics.
- Introduction
- Structures and Morphisms
- Varieties of Structuralism
- Göttingen
- Logic: Mac Lane's Dissertation
- Emmy Noether
- Natural Transformations
- Grothendieck: Toposes and Universes
- Lawvere and Foundations
- Truth and Existence
- Naturalism
- Austere Forms of Beauty