Philosophy of mathematics
These next several outlines deal with philosophy of certain specialized topics, starting with this one on the philosophy of mathematics. Here we dig into issues of what is abstraction.
First we survey the following branches of mathematics: algebra, analysis, numbers theory, logic, model theory, and category theory. Then we discuss unification programs across branches, followed by sections on positions in philosophy of mathematics, in particular dealing with the realism/antirealism or platonism/nominalism debate.
Contents
- Algebra
- Analysis
- Number theory
- Logic
- Model theory
- Category theory
- Unification programs
- Platonism
- Nominalism
- Logicism
- Formalism
- Intuitionism
- Fictionalism
- Structuralism
- Naturalism
- My thoughts
- Annotated bibliography
- Links and encyclopedia articles
- References
Algebra
Introduction
TODO
Prove all things; hold fast that which is good.
– 1 Thessalonians, 5:21–28, KJV
History
- roots from Babylonians
- Al-Karaji (c. 953-1029)
- Gerolamo Cardano (1501-1576)
- Carl Friedrich Gauss (1777-1855)
- published a proof of the fundamental theorem of algebra (1797)
- The theorem states that the field of complex numbers is algebraically closed.
- Évariste Galois (1811-1832)
- Arthur Cayley (1821-1895)
- Leopold Kronecker (1823-1891)
- arithmetic vs abstract algebra
Linear algebra
- Linear equations and transformation
- Vector spaces and dual spaces
- Axler, S. (2024). Linear Algebra Done Right.
- Spectral theorem: \(A\) is normal, \(A A^\dagger = A^\dagger A \iff A = U D U^\dagger\) is an eigendecomposition of \(A\), where the column vectors of \(U\) are the eigenvectors of \(A\) with corresponding eigenvalues on the diagonal of \(D\).
- Principal Component Analysis (PCA)
- Rayleigh quotient
See also:
Finite groups
- Group
- Sporadic group
- Classification of finite simple groups
- Elwes, R. (2006). An enormous theorem: The classification of finite simple groups.
- There are 26 sporadic simple groups (27 if you count the Tits group).
- YouTube 3Blue1Brown: Group theory and why I love
808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000. - Monstrous moonshine
- Richard Borcherds (b. 1959)
- Carter, N. (2009). Visual Group Theory.1
Lie groups
- Lie group
- Sophus Lie (1842-1899)
- Élie Cartan (1869-1951)
- Schwichtenberg, J. (2016). Classification of simple Lie groups.
- Hall, B.C. (2000). An Elementary Introduction to Groups and Representations.2
- Zee, A. (2016). Group Theory in a Nutshell for Physicists.3
- Dynkin diagrams
- ADE classification
- Siegel, K. (2014). The ubiquity of ADE classifications in nature.
More
- Jordan algebras
- McCrimmon, K. (2000). A Taste of Jordan Algebras.4
- Algebraic number theory
- Representation theory
- Langlands program
- Universal algebra
- Hurwitz’s theorem
- The real numbers, the complex numbers, the quaternions, and the octonions exhaust all the possible normed division algebras.
- Baez, J.C. (2002). The octonions.5
- Westbury, B.W. (2010). Hurwitz’ theorem on composition algebras.6
See also:
- Foundations of QM
- Supersymmetry in the Outline of physics
Analysis
Introduction
TODO
History
- René Descartes (1596-1650)
- Geometry and coordinates, modern notation, geometric problems forumalted with algebra
- La Géométrie (1637)
- Isaac Newton (1642-1726/7)
- Gottfried Wilhelm Leibniz (1646-1716)
- Jacob Bernoulli (1655-1705)
- Leonhard Euler (1707-1783)
- Mechanica (1736)
- Pierre-Simon Laplace (1749-1827)
- Carl Friedrich Gauss (1777-1855)
- Augustin-Louis Cauchy (1789-1857)
- Karl Weierstrass (1815-1897)
- George Stokes (1819-1903)
- Differential forms
- Geometry and the Erlangen program
Development of calculus
- James Gregory (1638-1675)
- Isaac Barrow (1630-1677)
- Fundamental theorem of calculus in Proposition 11, Lecture 10, of his Lectiones Geometricae, published in 1670.
- Isaac Newton (1642-1727)
- Newton claimed to have the ideas of calculus in the mid 1660s.
- In 1669, Newton wrote an article on infinite series with ideas leading to calculus: “De analysi per aequationes numero terminorum infinitas,” which wasn’t published until 1711, 42 years later.
- Philosophiæ Naturalis Principia Mathematica (1687)
- Gottfried Wilhelm Leibniz (1646-1716)
- Leibniz first used \(dx\) in publication in
Leibniz, G.W. (1684). Nova methodus pro maximis et minimis. Acta Eruditorum. - Leibniz first used his intergral sign, \(\int\), in publication in
Leibniz, G.W. (1686). De geometria recondita et analysi indivisibilium atque infinitorum. Acta Eruditorum. - Wolfram, S. (2013). Dropping in on Gottfried Leibniz.
- Leibniz first used \(dx\) in publication in
- Aldrich, John. (?). Earliest uses of symbols of calculus.
- Leibniz-Newton calculus controversy
- Wikipedia: In 1849, C. I. Gerhardt, while going through Leibniz’s manuscripts, found extracts from Newton’s “De analysi per aequationes numero terminorum infinitas.”
- Starbird, M. (2016). Who invented calculus?
Matrix calculus
Differential geometry
- History
- Leonhard Euler (1707-1783)
- William Rowan Hamilton (1805-1865)
- George Stokes (1819-1903)
- Josiah Willard Gibbs (1839-1903)
- Élie Cartan (1869-1951)
- W.V.D. Hodge (1903-1975)
- Vector calculus
- Stokes’ theorem
- Tong, D. (2022). Lectures on Vector Calculus.
- Differential forms
- Manifold, tangent and cotangent spaces, vector bundle, fiber bundle
- Review by Frè7
- Varadarajan, V. S. (2003). Vector bundles and connections in physics and mathematics: some historical remarks.8
- Tao, T. (2007). Differential forms and integration.9
- Sussman, G.J. & Wisdom, J. (2013). Functional Differential Geometry.10
- Tu, L.W. (2017). Differential Geometry: Connections, Curvature, and Characteristic Classes.11
- Bronstein, M.M. et al. (2021). Geometric deep learning: Grids, groups, graphs, geodesics, and gauges.12
- De Rham cohomology
- Chern-Simons theory
- Non-commutative
- Connes, A. (1985). Non-commutative differential geometry.13
\[ a \times b = \star(a \wedge b) \]
See also:
Number theory
Introduction
- Peano axioms
- Robinson arithmetic
- Newstead, C. (2022). An Infinite Descent into Pure Mathematics.
Set theory
- Membership: Axiom of extensionality
- von Neumann’s set theoretical definition of numbers
Naive Set Theory
- Axiom of unrestricted comprehension
- There exists the set \(\{ x : \phi(x) \}\), the set whose members are those that satisfy \(\phi\).
- Russell’s paradox
- Let \(y = \{ x : x \notin x \}\) then \(y \in y \Leftrightarrow y \notin y\)
- Curry’s paradox
Zermelo-Fraenkel set theory
- Zermelo-Fraenkel set theory
- Axiom schema of specification AKA Axiom of restricted comprehension
- Define a set by defining a subset of a known set \(A\), \(\{ x \in A : \phi(x) \}\), instead of the more general \(\{ x : \phi(x) \}\)
- Given any set A, there exists a subset of \(A\), whose memebers are those that satisfy \(\phi\) (and are also members of \(A\)).
- Zermelo-Fraenkel set theory + Axiom of choice = ZFC
Other approaches
Transfinite numbers
- Ordinal (index) vs cardinal (size) numbers
- Cantor-Bernstein-Schröeder theorem
- Transfinite numbers:
- \(\omega\): the smallest transfinite ordinal number; the order type of the natural numbers.
- \(\aleph_0\): the first transfinite cardinal number; the cardinality of the natural numbers, \(\aleph_0 \equiv |\mathbb{N}|\)
- There is a one-to-one correspondence between ordinal and cardinal numbers.14 \(\omega = \aleph_0\)
- The \(\aleph_n\) hierarchy of cardinals is defined by transfinite recursion:
- \(\aleph_0\) is the smallest infinite cardinal.
- \(\aleph_{n+1}\) is the successor cardinal to \(\aleph_{n}\)
- \(\aleph_{\lambda} = \mathrm{sup}_{n<\lambda} \aleph_n\) for limit ordinals \(\lambda\)
- \(\aleph_0\) is the smallest infinite cardinal; it is countable.
- \(\aleph_1\) is the first uncountable cardinal.
- \(\aleph_2\) is the second uncountable cardinal.
- Transfinite numbers were anticipated by Robert Grosseteste (ca. 1168-1253).
- Developed by Georg Cantor (1845-1918) in 1895
- Cantor’s first set theory article
- Proved that the real numbers are uncountably infinite.
- The cardinalities of \(\mathbb{R}\) and \(\mathbb{R}^n\) are both \(C\).
- Cantor’s theorem
- Let \(|A| \equiv \mathrm{card}(A)\) denote the cardinality (i.e size) of a set, \(A\).
- A power set, \(P(A)\), of a set, \(A\), is the set of all subsets of \(A\).
- The cardinality of a power set is \(|P(A)| = 2^{|A|}\)
- The cardinality of a power set is strictly larger than the set: \(|A| < |P(A)|\)
- Cardinality of the continuum
- The cardinality of the reals: \(C \equiv |\mathbb{R}|\)
- Examples of sets with cardinality = \(C\)
- real numbers, \(\mathbb{R}\)
- closed or open intervals on \(\mathbb{R}\)
- Euclidean space, \(\mathbb{R}^n\)
- complex numbers, \(\mathbb{C}\)
- set of all continuous functions from \(\mathbb{R}\) to \(\mathbb{R}\)
- power set of of natural numbers, \(P(\mathbb{N})\)
- The cardinality of the reals is the power set of the natural numbers: \(C \equiv |\mathbb{R}| = |P(\mathbb{N})| = 2^{|\mathbb{N}|} = 2^{\aleph_0} > \aleph_0\)
- Continuum Hypothesis (CH)
- CH: There is no set \(S\) such that \(\aleph_0 < |S| < 2^{\aleph_0}\)
- \(C = 2^{\aleph_0}\), and under CH, \(C = 2^{\aleph_0} = \aleph_1\).
- Relationship with the axiom of choice
- Paul Cohen showed the CH is undecidable in ZFC (1963).
- Generalized Continuum Hypothesis (GCH)
- \(\aleph_{n+1} = 2^{\aleph_n}\)
Hilbert:
There is, however, a completely satisfactory way of avoiding the paradoxes without betraying our science. The desires and attitudes which help us find this way and show us what direction to take are these:
- Wherever there is any hope of salvage, we will carefully investigate fruitful definitions and deductive methods. We will nurse them, strengthen them, and make them useful. No one shall drive us out of the paradise which Cantor has created for us.
- We must establish throughout mathematics the same certitude for our deductions as exists in ordinary elementary number theory, which no one doubts and where contradictions and paradoxes arise only through our own carelessness.15
Logic
Introduction
Pedagogy:
- Hunter, G. (1971). Metalogic: An Introduction to the Metatheory of Standard First-Order Logic.16
- Monk, J.D. (1976). Mathematical Logic.17
- Smith, P. (2020). An Introduction to Formal Logic.18
- Smith, P. (2022). Beginning Mathematical Logic A Study Guide.19
More:
- Carnap, R. (1958). Introduction to Symbolic Logic and its Applications.20
- Teller, P. (1989). A Modern Formal Logic Primer.21
- Bonevac, D. (2003). Deduction: Introductory to Symbolic Logic.22
- MacFarlane, J. (2021). Philosophical Logic: A Contemporary Introduction.23
- The Open Logic Text24
- logicinaction.org
- logicmatters.net
History
- Aristotle (384-322 BCE)
- founded logic
- Square of opposition
- Modus ponens, modus tollens, Affirming the consequent, Proof by contrapositive
- Euclid (fl. 300 BCE)
- logico-deductive method founded by Euclid’s Elements
- Chrysippus (c. 279-206 BCE)
- Vasubandhu (fl. 4th to 5th century CE)
- Dignāga (c. 480-540 CE)
- Charles Sanders Peirce (1839-1914)
- Gottlob Frege (1848-1925)
- Begriffsschrift (1879)
- Alfred North Whitehead (1861-1947) and Bertrand Russell (1872-1970) published Principia Mathematica in 1910
- Russell’s paradox
- PM avoids Russell’s paradox by introduction of the “ramified theory of types.”
- Later lead to Church’s (1976) formulation of the logic of PM with \(r\)-types.
- Henry M. Sheffer (1882-1964)
- Sheffer, H.M. (1913). A set of five independent postulates for Boolean algebras, with application to logical constants.25
- Propositional logic can be formulated using a single connective: either logical NAND or its dual, logical NOR.
- Emil Post (1897-1954)
- Alfred Tarski (1901-1983)
- Kurt Gödel (1906-1978)
- Gödel’s completeness theorem (1929)
- Gödel’s incompleteness theorems (1931)
- Gerhard Gentzen (1909-1945)
- Leon Henkin (1921-2006)
Propositional logic
- Propositional logic
- AKA propositional calculus and zeroth-order logic
- Validity and soundness:
- An argument is valid iff for any assignment of the truth values in the argument where all of the premises are true, the conclusion is always true.
- An argument is sound iff it is valid and all of its premises are true.
- Sequent calculus
Syntactic consequence:
\[ A \vdash B \]
means that \(B\) is logically derivable/provable from \(A\); \(B\) is a theorem of the premises, \(A\).
Semantic consequence:
\[ A \models B \]
means that in all possible valuations in which \(A\) is true, \(B\) is also true. One says that \(A\) “entails” \(B\), or \(A\) “models” \(B\).
Note that \(\vdash\), \(\models\), and \(\equiv\) are all metalogical symbols, not part of the rules of logic; they are shorthands.
\(\vdash\) means “from which, it is derivable that.”
\(\models\) means “entails that, i.e. in every case this is true, that is true (regardless of provability).”
\(\equiv\) means “is identical to.”
Lecture notes on soundness and completeness:
A formal system is sound if everything that is provable is in fact true, i.e. if \(A_1, A_2, \ldots A_n \vdash B\), then \(A_1, A_2, \ldots A_n \models B\).
A formal system is complete if everything that is true has a proof, i.e. if \(A_1, A_2, \ldots A_n \models B\), then \(A_1, A_2, \ldots A_n \vdash B\).
Propositional logic was proven to be sound (\(\vdash\) implies \(\models\)) and complete (\(\models\) implies \(\vdash\)) by Emil Post in 1921.26
- Emil Post and his anticipation of Gödel and Turing27
Material implication:
\[ P \rightarrow Q \equiv \lnot P \lor Q \]
- Paradoxes of material implication
- Vacuous truth
- von Fintel, K. (2011). Conditionals.28
Modus ponens:
\[ P \rightarrow Q, P \vdash Q \]
Modus tollens:
\[ P \rightarrow Q, \lnot Q \vdash \lnot P \]
Peirce’s law:
\[ ((P \rightarrow Q) \rightarrow P) \rightarrow P \]
- TODO: More basic examples in propositional logic
- TODO: Use-mention distinction: P vs ‘P’ vs Quine quotes
- Cut-elimination theorem
- Gerhard Gentzen (1909-1945)
First-order logic
- First-order logic
- AKA predicate logic
- Domain of discourse: \(\{x\}\)
- Adds (non-logical) predicates, \(Fx\), and quantification over elements, \(\exists x\ Fx\).
- C.S Peirce was first to distinguish between propositional logic, first-order logic, and second-order logic in 1885.29
- Consistency, completeness, expressivity
- Gödel’s completeness theorem
- Establishes a correspondence between semantic truth and syntactic provability in first-order logic.
- Gödel, K. (1929). Über die Vollständigkeit des Logikkalküls.30
- His doctoral dissertation, University Of Vienna.
- The first proof of the completeness theorem.
- Henkin, L. (1996). The discovery of my completeness proofs.31
- Awodey, S. & Forssell, H. (2013). First-order logical duality.32
- Lindström’s theorem
- Presburger arithmetic
- First-order theory of the natural numbers with addition, but without multiplication.
- Presburger arithmetic is consistent, complete, and decidable.
Limitations
- The Löwenheim-Skolem theorem implies that infinite structures cannot be categorically axiomatized in first-order logic.
- No first-order theory has the strength to uniquely describe a structure with an infinite domain, such as the natural numbers or the real line.
- In second-order logic, it is possible to define the addition and multiplication operations from the successor operation, but this cannot be done in the more restrictive setting of first-order logic.
- TODO: show this.
- Bès, A. (2002). A survey of arithmetical definability.33
- Bès, A. & Choffrut, C. (2022). Decidability of definability issues in the theory of real addition.34
- Quantifiers other than \(\forall\) and \(\exists\) are only definable within second-order logic or higher-order logics.
See also:
Second-order logic
- Second-order logic
- Second-order and higher-order logic, SEP
- Includes relation variables in addition to object variables and allows quantification over both.
- Extends first-order logic to allow predicates having predicates or functions as arguments, or in which one or both of predicate quantifiers or function quantifiers are permitted.
- \(\exists P\ P(x)\)
- Addition and multiplication are definabile in second-order logic.
- Peano arithmetic, PA
- Second-order arithmetic, \(\mathrm{Z}_{2}\)
- The power set can be written in terms of second-order logic.
- This second-order expressibility of the power-set operation permits the simulation of higher-order logic within second order.35
- \(\mathbb{N} \models \mathrm{PA}\)
- The natural numbers model PA, but not uniquely in FOL.
- In SOL, PA is categorical, meaning it has only one model up to isomorphism.
- Henkin semantics
- SOL with Henkin semantics is complete.
- Higher-order logics, type theory
- All higher-order logics have the same expressive power as second-order logic.
- Russell’s theory of types
- Alonzo Church’s lambda calculus
- Modern type theory and its relationship with category theory
Incompleteness of second-order logic
- Second-order logic opens the door to Gödel’s incompleteness theorems.
- According to Gödel’s incompleteness theorems, the theory of PA (if consistent) is incomplete.
- Kleene, S.C. (1943). Recursive predicates and quantifiers.36
- The incompleteness of second-order logic is deeply related to recursion.
- Rossberg, M. (2004). First-order logic, second-order logic, and completeness.37
See also:
Discussion
- Michael Dummett
- S.C. Kleene
- Kleene, S.C. (1952). Introduction to Metamathematics.38
- First formulation of the sequent calculus in the modern style
- Kleene, S.C. (1952). Introduction to Metamathematics.38
- Setwart Shapiro
- Foundations without Foundationalism: A Case for Second-Order Logic (1991)39
- Gillian Russell
- Russell, G. (2015). The justification of the basic laws of logic.40
- Eliezer Yudkowsky
- Second-Order Logic: The Controversy
- “Second-order logic is sound, in the sense that anything syntactically provable from a set of premises, is true in any model obeying those premises. But second-order logic isn’t complete; there are semantic consequences you can’t derive. If you take second-order logic at face value, there’s no effectively computable way of deriving all the consequences of what you say you ‘believe’… which is a major reason some mathematicians are suspicious of second-order logic. What does it mean to believe something whose consequences you can’t derive?”
- George Boolos
- Ethan Jerzak
- Otávio Bueno
- Bueno, O. (2010). A defense of second-order logic.43
- Ted Sider
- Sider, T. (2022). Crash course on higher-order logic.44
Modal logic
- C.I. Lewis (1883-1964)
- Founded modern modal logic.
- Criticism of material implication. Introduced strict implication.45
- Strict implication is not truth-functional. It requires asking about the truth-values that propositions take in worlds other than the actual world.
- Rudolf Carnap (1891-1970)
- Carnap, R. (1947). Meaning and Necessity.46
- Saul Kripke (1940-2022)
- Kripke, S.A. (1959). A completeness theorem in modal logic.47
- Revives Leibniz’s idea that necessity is truth in all possible worlds.
- David Lewis (1941-2001)
- On the Plurality of Worlds (1986)48
\(\Box\) means “necessarily.” \(\Diamond\) means “possibly.”
If necessarily \(P\), then necessarily necessarily \(P\):
\[ \Box P \rightarrow \Box \Box P \]
De Morgan duality:
\[ \Diamond P = \lnot \Box \lnot P \]
\[ \Box P = \lnot \Diamond \lnot P \]
More:
Alternative logics
- Intuitionistic Logic
- Law of excluded middle (LEM): Tertium non datur.
\(\vdash A \lor \lnot A\) - Intuitionistic logic rejects LEM.
- Constructive mathematics
- Law of excluded middle (LEM): Tertium non datur.
- Liar paradox
- Carroll, L. (1895). What the tortoise said to Achilles.49
- Paraconsistent logic
- Principle of explosion
- Ex contradictione quodlibet (ECQ): from a contradiction anything follows.
\(A, \lnot A \models B\) - Law of No Contradiction (LNC).
\(\models \lnot ( A \land \lnot A )\) - Paraconsistent logics reject ECQ, and may or may not invalidate LNC.
- Dialetheism rejects LNC.
- Priest, G. (1998). What is so bad about contradictions?50
- Martínez-Ordaz, M. del R. (2021). The ignorance behind inconsistency toleration.51
Criticism:
- Quine, W.V.O. (1986). Philosophy of Logic.52
See also:
Proof theory
- Curry-Howard correspondence
- Proof-theoretic semantics
- Realizability
- Viteri, S. & DeDeo, S. (2022). Epistemic phase transitions in mathematical proofs.53
See also:
Model theory
Introduction
- Wikipedia: Model theory
- model theory = universal algebra + logic
- model theory = algebraic geometry - fields
- SEP: Model theory
- Model theory is the study of the interpretation of any language, formal or natural, by means of set-theoretic structures, with Alfred Tarski’s truth definition as a paradigm.
Hunter:
Model theory is the theory of interpretations of formal languages (a model of a formula of a language is an interpretation of the language for which the formula comes out true).54
Weiss & D’Mello:
Model Theory is the part of mathematics which shows how to apply logic to the study of structures in pure mathematics.55
Pedagogy:
- Weiss, W. & D’Mello, C. (2015). Fundamentals of Model Theory.56
- Button, T. & Walsh, S. (2018). Philosophy and Model Theory.57
More:
- Model theory - nLab
- Formal epistemology
- Makowsky, J.A. (1995). The impact of model theory on theoretical computer science.58
See also:
History
- William Rowan Hamilton (1805-1865)
- Alfred North Whitehead (1861-1947)
- Whitehead, A.N. (1898). A Treatise on Universal Algebra.
- Löwenheim-Skolem theorem (1915, 1920)
- Rudolf Carnap (1891-1970)
- Alfred Tarski (1901-1983)
- Kurt Gödel (1906-1978)
- Leon Henkin (1921-2006)
- Jaakko Hintikka (1929-2015)
- Wilfrid Hodges (b. 1941)
- Hodges, W. (1985). Truth in a structure.59
Incompleteness
- Kurt Gödel (1906-1978)
- Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I.60
- Gödel, K. (1951). Some basic theorems on the foundations of mathematics and their implications.61
- Gödel presented his incompleteness theorems at the Second Conference on the Epistemology of the Exact Sciences in Königsberg September 5-7, 1930.
- von Neumann recognized the importance first.
- Carnap had warning of Gödel’s results the month before.62
- Goldstein63
Fom the SEP:
The first incompleteness theorem states that in any consistent formal system \(F\) within which a certain amount of arithmetic can be carried out, there are statements of the language of \(F\) which can neither be proved nor disproved in \(F\). According to the second incompleteness theorem, such a formal system cannot prove that the system itself is consistent (assuming it is indeed consistent).64
Related:
- Tarski’s undefinability theorem on the formal undefinability of truth
- Tarski, A. (1936). The concept of truth in formalized languages.65
- Tarski, A. (1969). Truth and proof66
- Church’s proof that Hilbert’s Entscheidungsproblem is unsolvable
- Church, A. (1936). A note on the Entscheidungsproblem.67
- Turing’s theorem that there is no algorithm to solve the halting problem
- Turing, A.M. (1937). On computable numbers, with an application to the Entscheidungsproblem.68
- Rice’s theorem that all non-trivial semantic properties of programs are undecidable
- Rice’s theorem (1951)
Chaitin:
[M]y information-theoretic approach to incompleteness makes incompleteness appear pervasive and natural. This is because algorithmic information theory sometimes enables one to measure the information content of a set of axioms and of a theorem and to deduce that the theorem cannot be obtained from the axioms because it contains too much information.
This suggests to me that sometimes to prove more one must assume more, in other words, that sometimes one must put more in to get more out.69
More:
- Gödel was a platonist, a (religious) realist.
- Armstrong, S. (2012). Completeness, incompleteness, and what it all means: first versus second order logic.
- Hilbert’s program is challenged by incompleteness.
- Discuss how incompleteness is overblown in overly epistemically defeatist ways.
- Seems to indicate that no formal system lacks the full context for everything. Additional axioms will be appropriate for introducing further contexts.
- Franzén, T. (2005). Gödel’s Theorem: An incomplete guide to its use and abuse.70
- Seely, R.A. Gödel on the net.
- Video: Veritasium - Math Has a Fatal Flaw
- Lloyd, S. (1993). Quantum-mechanical computers and uncomputability.71
- Cubitt, T., Perez-Garcia, D., & Wolf, M. (2015). Undecidability of the spectral gap.72
Relationship to mind:
See also:
Complexity theory
- Church-Turing thesis
- Gödel-Church-Turing
- Ord, T. (2024). Bounds on the rates of growth and convergence of all physical processes.73
- Scott Aaronson’s Complexity Zoo
- Aaronson, S. (2011). Why philosophers should care about computational complexity.74
- Savage, J.E. (2008). Models of Computation: Exploring the Power of Computing.
- Fagin’s theorem
See also:
Category theory
Introduction
- Category theory - nLab
- Eilenberg, S. & MacLane, S. (1945). General theory of natural equivalences.75
- Rodin, A. (2012). Axiomatic method and category theory.76
- Spivak, D.I. (2013). Category theory for scientists.77
- Fong, B. & Spivak, D.I. (2018). Seven sketches in compositionality: An invitation to applied category theory.78
- Bradley, T.D. (2018). What is applied category theory?79
- Categorical product
- Cook, J.D. (2016). Categorical products.
- Zucker, P. (2020). Computational category theory in python I: Dictionaries for FinSet.
- Zucker, P. (2020). Computational category theory in python II: numpy for FinVect.
- Zucker, P. (2020). Computational category theory in python III: Monoids, groups, and preorders.
- For the category of abelian groups, the coproduct is the direct sum.
- Functors
- Yoneda lemma
- Related to: Pragmatic maxim, Identity of indiscernibles
- Relation to set theory
- Relation to Russell type theory
- Univalent foundations
- Categories are semigroupoids.
- Curry-Howard-Lambek correspondence
- Three-way isomorphism between intuitionistic logic, typed lambda calculus, and cartesian closed categories
See also:
History
- Samuel Eilenberg (1913-1998) and Saunders Mac Lane (1909-2005)
- Alexander Grothendieck (1928-2014)
- Bill Lawvere (b. 1937)
Grothendieck:
If there is one thing in mathematics that fascinates me more than anything else (and doubtless always has), it is neither “number” nor “size,” but always form. And among the thousand-and-one faces whereby form chooses to reveal itself to us, the one that fascinates me more than any other and continues to fascinate me, is the structure hidden in mathematical things.80
Homotopy type theory
- Homotopy type theory (HoTT)
- Intuitionistic type theory
- Per Martin-Löf (b. 1942)
- Homotopy type theory - nLab
- Homotopy Type Theory: Univalent Foundations of Mathematics (2013)
See also:
Cobordism hypothesis
- Cobordism hypothesis - nLab
- Baez, J.C. & Dolan, J. (1995). Higher‐dimensional algebra and topological quantum field theory.81
- Baez, J.C. & Stay, M. (2009). Physics, topology, logic, and computation: A Rosetta Stone.82
- Lurie, J. (2009). On the classification of topological field theories.
- Jacob Lurie’s Home Page
- Morton, J. (2013). Blog on the cobordism hypothesis.
See also:
Topos theory
- Baez, J. (2021). Topos theory in a nutshell.
Applications
- Univalent foundations
- Functional programming
- Language models
- Bradley, T.D., Terilla, J., & Vlassopoulos, Y. (2021). An enriched category theory of language: from syntax to semantics.83
See also:
Unification programs
Introduction
Yanofsky, N.S. (2016). Why mathematics works so well:
When you have two distinct fields of mathematics and they are shown to be intimately related in a way that results of one field can be used to get results of another field, you have a type of unification. An example of such unification is monstrous moonshine. This subject describes the shocking connection between the monster group and modular functions. Another example is the Langlands program which connects Galois groups in algebraic number theory to automorphic forms and representation theory of algebraic groups. The Erlangen program can also be seen as a way of unifying different types of geometries using group theory. In all these examples of unifications, there is a function (or an isomorphism) from the domain of discourse of one field to the domain of discourse of another field. The symmetries of one field (the true mathematical statements) will than map to symmetries of the other field. Category theory is an entire branch of mathematics that was created to describe such unifications. The founders of category theory invented a language that was based on algebraic topology, which is a branch of mathematics that unifies algebra and topology. Category theory is now used in many areas to show that seemingly different parts of mathematics (and physics and theoretical computer science) are closely related.84
Erlangen program
- Erlangen program
- A program proposed by Felix Klein in 1872 to classify geometries based on their symmetry groups.
Langlands program
- Langlands program
- Proposed by Robert Langlands (1967, 1970).
- Fundamental lemma
Univalent foundations
- Univalent foundations
- Proposed by Vladimir Voevodsky, 2006-2009.
- Category theory
- Introduction to Univalent Foundations of Mathematics with Agda
See also:
Platonism
Introduction
What has been is what will be,
and what has been done is what will be done;
there is nothing new under the sun.
Is there a thing of which it is said,
“See, this is new?”
It has already been,
in the ages before us.85
- Podnieks, K. (1992). Platonism, intuition, and the nature of mathematics.
Pythagoreanism
- Radical realism
- Monism: everything is math.
- Tegmark, M. (2014). Our Mathematical Universe.86
Plato
- Realist
- Theory of the forms
- Dualism: the world and forms?
- The Academy (387 BCE - 529 CE): “Let no one ignorant of geometry enter”
- Mathematics is descriptive of a real but trans-empirical realm.
- Plato perhaps doubts Platonism in Parmenides
- Aristotle on universals
I think you know that the students of geometry, calculation, and the like hypothesize the odd and the even, the various figures, the three kinds of angles, and other things akin to these in each of their investigations, as if they knew them. They make their hypotheses and don’t think it necessary to give any account of them, either to themselves or to others, as if they were clear to everyone. And going from these first principles through the remaining steps, they arrive in full agreement.
I certainly know as much.
Then you also know that, although they use visible figures and make claims about them, their thought isn’t directed to them but to those other things that they are like. They make claims for the sake of the square itself and the diagonal itself, not the diagonal they draw, and similarly with the others. These figures that they make and draw, of which shadows and reflections in water are images, they now in turn use as images, in seeking to see those others themselves that one cannot see except by means of thought.87
Contemporary platonism
- Quine’s “reluctant platonism”
- Indispensability argument
- Quine, W.V.O. (1948). On what there is.88
- distinction between meaning and naming
Whatever we say with the help of names can be said in a language which shuns names altogether. To be assumed as an entity is, purely and simply, to be reckoned as the value of a variable. In terms of the categories of traditional grammar, this amounts roughly to saying that to be is to be in the range of reference of a pronoun. Pronouns are the basic media of reference; nouns might better have been named propronouns. The variables of quantification, ‘something,’ ‘nothing,’ ‘everything,’ range over our whole ontology, whatever it may be; and we are convicted of a particular ontological presupposition if, and only if, the alleged presuppositum has to be reckoned among the entities over which our variables range in order to render one of our affirmations true.89
a theory is committed to those and only those entities to which the bound variables of the theory must be capable of referring in order that the affirmations made in the theory be true.90
- Neopythagoreanism: Tegmark. (2008). “The mathmatical universe.”91
- Mathematical Universe Hypothesis (MUH)
- Seth Lloyd - the universe is a computer - pythagorean?
- Clearly Ed Witten is a platonist. Video: How is mathematics truth and beauty? Closer To Truth.
- Carroll, S. (2021). Mindscape 127: Justin Clarke-Doane on Mathematics, Morality, Objectivity, and Reality.
- De Cruz, H. (2016). Numerical cognition and mathematical realism.92
Visual proofs
- Proofs without words
- Chen, E.K. (2018). The intrinsic structure of quantum mechanics.93
Criticism:
- 3Blue1Brown. (2022). Video: How to lie using visual proofs.
Nominalism
Introduction
- Antirealist
History
Antisthenes:
A horse I can see, but horsehood I cannot see.
- Plato: “Third Man Argument” in Parmenides
- Medieval nominalism
- Modern nominalism
Bayes:
It is not the business of a mathematician to show that a straight line or circle can be drawn, but he tells you what he means by these; and if you understand him, you may proceed further with him; and it would not be to the purpose to object that there is no such thing in nature as a true straight line or perfect circle, for this is none of his concern: he is not inquiring how things are in matter of fact, but supposing things to be in a certain way, what are the consequences to be deduced from them.94
Johwn Stuart Mill:
Nominalists, who, repudiating Universal Substances, held that there is nothing general except names.95
- Positivism, Carnap, ESO
- Goodman & Quine96
- Henkin, L. (1953). Some notes on nominalism.97
- Azzouni, J. (2015). Nominalism, the nonexistence of mathematical objects.98
See also:
Science Without Numbers
Field: Abstract platonic entities, were they to exist, could not interact causally with the world.99
significant in context but naming nothing.103
Logicism
Introduction
- A program to derive all or part of mathematics from logic.
- Richard Dedekind (1831-1916)
- Gottlob Frege (1848-1925)
- All mathematical structures can be constructed from sets and natural numbers.
- Natural numbers can be constructed from sets.
- The properties of sets can be reduced to logic. Sets are the extensions of arbitrary conditions.
- Giuseppe Peano (1858-1932)
- Bertrand Russell (1872-1970)
- Alfred North Whitehead (1861-1947)
- Ernst Zermelo (1871-1953)
- Sets are not simply the extensions of arbitrary conditions. Some conditions have no corresponding set.
- Realist
- Relationship with positivism?
- Russell, B. (1905). On denoting.104
- Russell expresses support for the platonic “universals”105
- Rudolf Carnap (1931) presents the logicist thesis in two parts:106
- The concepts of mathematics can be derived from logical concepts through explicit definitions.
- The theorems of mathematics can be derived from logical axioms through purely logical deduction.
- Snapper, E. (1979). The three crises in mathematics: Logicism, intuitionism and formalism.107
- Shapiro, S. (2000). Thinking about Mathematics: The Philosophy of Mathematics.108
- Hume’s principle
- Frege’s theorem
Principia Mathematica
- Principia Mathematica (1910)
- Alfred North Whitehead (1861-1947)
- Bertrand Russell (1872-1970)
- Russell’s Paradox
- “Failure of PM”
ZFC
- ZFC
- Wikipedia: ZFC actually does circumvent Russell’s paradox by restricting the comprehension axiom to already existing sets by the use of subset axioms.
Neologicism
- Crispin Wright (b. 1942)
- Bob Hale (1945-2017)
- Linsky, B. & Zalta, E.N. (2006). What is Neologicism?109
Linsky & Zalta:
Our knowledge of mathematics is to be explained in terms of the faculty we use to understand language, since that is the only faculty we need to understand object abstraction.110
Formalism
Introduction
- Hilbert
- Antirealist?
Hilbert:
We must know. We shall know.
Hilbert:
Mathematics is a presuppositionless science. To found it I do not need God, as does Kronecker, or the assumption of a special faculty of our understanding attuned to the principle of mathematical induction, as does Poincaré, or the primal intuition of Brouwer, or, finally, as do Russell and Whitehead, axioms of infinity, reducibility, or completeness, which in fact are actual, contentual assumptions that cannot be compensated for by consistency proofs.111
- Video: Veritasium - You can’t prove everything that’s true
Hilbert’s program
- Hilbert’s program
- Influenced by Principia Mathematica
- Hilbert, D. (1926). On the infinite.112
- Gödel derailed the program
- TODO: What do we expect from proof theory now?
Hilbert wanted math to be
- Consistent?
DecidableComplete
See also:
Intuitionism
Introduction
- Antirealist
- Leopold Kronecker’s finitism was a forerunner of intuitionism in foundations of mathematics.
- Kronecker: “God made the integers, all else is the work of man.”
- L.E.J. Brouwer (1881-1966)
- Brouwer, L.E.J. (1908). Unreliability of the logical principles.113
- Constructive mathematics
See also:
Linear logic
- Girard, J.Y. (1987). Linear logic.114
Criticism
Hilbert:
Taking the Principle of the Excluded Middle from the mathematician … is the same as … prohibiting the boxer the use of his fists.115
- Tait, W.W. (1983). Against intuitionism: Constructive mathematics is part of classical mathematics.116
Fictionalism
- Antirealist
- Stephen Yablo
- Chris Bateman interviews Stephen Yablo
Structuralism
- Realist
- Awodey, S. (2014). Structuralism, invariance, and univalence.117
Naturalism
Unreasonable effectiveness
Philosophy is written in that great book which ever lies before our eyes—I mean the Universe—but we cannot understand it if we do not learn the language and grasp the symbols in which it is written. This book is written in the mathematical language, and the symbols are triangles, circles, and other geometrical figures without whose help it is impossible to comprehend a single word of it, without which one wanders in vain through a dark labyrinth.
– Galileo Galilei. (1623). Il Saggiatore (The Assayer).118
- Wigner119
- Putnam120
- Hamming121
- Tegmark: MUH
- Zee: Physics uses simple Lie groups, “Nature is kind”122
- Dan A. Roberts. (2021). Why is AI hard and Physics simple?123
- See also: No free lunch theorems
Quine-Putnam indispensability thesis
- Quine
- Putnam124
Putnam:
[Q]uantification over mathematical entities is indispensable for science…; therefore we should accept such quantification; but this commits us to accepting the existence of the mathematical entities in question.125
Mathematical naturalism
- Maddy
- Realist?
- See the outline on Naturalism.
My thoughts
- What would happen if you asked an alien to solve a Rubik’s cube?
Annotated bibliography
Wigner, E.P. (1960). The Unreasonable Effectiveness of Mathematics in the Natural Sciences.
- Wigner (1960)
My thoughts
- TODO.
Field, H. (1980). Science Without Numbers.
- Field (2016)
My thoughts
- TODO.
Snapper, E. (1979). The Three Crises in Mathematics: Logicism, Intuitionism, Formalism.
- Snapper (1979)
My thoughts
- TODO.
More articles to do
- TODO.
Links and encyclopedia articles
SEP
- Algebra
- Algebra of logic
- Alternative axiomatic set theories
- Analysis
- Analytic/synthetic distinction
- Ancient logic
- Aristotle and mathematics
- Automated reasoning
- Boolean algebra, The mathematics of
- Bradley’s Regress
- Brouwer, Luitzen Egbertus Jan (1881-1966)
- Category theory
- Computer science, Philosophy of
- Computer simulations in science
- Contradiction
- Constructive mathematics
- Dedekind’s contributions to the foundations of mathematics
- Descartes’ mathematics
- Diagrams
- Dialetheism
- Emergence of first-order logic
- Epistemology of visual thinking in mathematics
- Explanation in mathematics
- Fictionalism
- Fictionalism in the philosophy of mathematics
- First-order model theory
- Formal epistemology
- Frege, Gottlob (1848-1925)
- Frege-Hilbert controversy
- Frege’s theorem and foundations for arithmetic
- Formalism in the philosophy of mathematics
- Game Theory
- Gödel, Kurt (1906-1978)
- Gödel’s incompleteness theorems
- Grosseteste, Robert (ca. 1168-1253)
- Hilbert’s Program
- Identity theory of truth
- Inconsistent tathematics
- Indispensability arguments in the philosophy of mathematics
- Infinity
- Intuitionism in the philosophy of mathematics
- Intuitionistic Logic, Development of
- Intuitionistic type theory
- Kant’s Philosophy of Mathematics
- Leibniz, Gottfried Wilhelm (1646-1716)
- Liar Paradox
- Logicism and Neologicism
- Mathematics, Philosophy of
- Model theory
- Naturalism in the philosophy of mathematics
- Negation
- Nominalism in metaphysics
- Nominalism in the philosophy of mathematics
- Non-deductive methods in mathematics
- Ockham, William of (1287-1347)
- Paraconsistent logic
- Plato’s Parmenides
- Platonism in the philosophy of mathematics
- Platonism in metaphysics
- Principia Mathematica (1910)
- Proof-theoretic semantics
- Proof theory
- Pythagoras (570-495 BCE)
- Pythagoreanism
- Quantifiers and quantification
- Quine’s New Foundations (NF)
- Russell, Bertrand (1872-1970)
- Russell’s logical atomism
- Russell’s Paradox
- Second-order and higher-order logic
- Self-reference
- Set theory
- Skolem’s Paradox
- Tarski, Alfred (1901-1983)
- Tarski’s truth definitions
- Truth
- Truth, Axiomatic theories of
- Truth, Coherence theory of
- Truth, Correspondence theory of
- Truth, Deflationary theory of
- Truth, Logical
- Truth, Pluralist theories of
- Truth, Revision theory of
- Truth values
- Type theory
- Types and tokens
- Whitehead, Alfred North (1861-1947)
- Wittgenstein’s philosophy of mathematics
IEP
- Analytic philosophy
- Applicability of mathematics
- Constructive mathematics
- Dummett, Michael (1925-2011)
- Fictionalism in the philosophy of mathematics
- Frege, Gottlob (1848-1925)
- Game theory
- Indispensability argument in the philosophy of mathematics
- Infinite
- Lucas-Penrose argument about Gödel’s theorem
- Mathematical platonism
- Mathematical structuralism
- Modal metaphysics
- Models
- Model-theoretic conceptions of logical consequence
- Neo-platonism
- Plato (428/7 or 424/3 - 348/7 BCE)
- Platonism, mathematical
- Platonism, middle
- Plato’s Academy (387 BCE - 529 CE)
- Poincaré, Jules Henri (1854-1912)
- Poincaré’s philosophy of mathematics
- Process philosophy
- Pythagoras (570-495 BCE)
- Relational models theory
- Russell’s Paradox
- Universals
- Wittgenstein’s later philosophy of mathematics
Wikipedia
- Affirming the consequent
- Aristotle (384-322 BCE)
- Begriffsschrift
- Brouwer, L.E.J. (1881-1966)
- Cantor, Georg (1845-1918)
- Category theory
- Cauchy, Augustin-Louis (1789-1857)
- Central limit theorem
- Classification of finite simple groups
- Contraposition
- Continuum hypothesis
- Deduction theorem
- Deductive reasoning
- Diagonal lemma
- Erlangen program
- Ethnomathematics
- Euclid (fl. 300 BCE)
- Euler, Leonhard (1707-1783)
- First-order logic
- Frege, Gottlob (1848-1925)
- Frege’s theorem
- Galois, Évariste (1811-1832))
- Lie, Sophus (1842-1899)
- Logicism
- Gauss, Carl Friedrich (1777-1855)
- Gentzen’s consistency proof
- Gödel, Kurt (1906-1978)
- Gödel’s completeness theorem
- Gödel’s incompleteness theorems
- Hilbert, David (1862-1943)
- Hilbert’s Program
- History of algebra
- Hume’s principle
- Jacobi, Carl Gustav Jacob (1804-1851)
- Kronecker, Leopold (1823-1891)
- Kripke, Saul (1940-2022)
- Langlands program
- Laplace, Pierre-Simon (1749-1827)
- Law of excluded middle
- Logic
- Logicism
- Löwenheim-Skolem theorem
- Mathematical induction
- Mathematical Universe Hypothesis
- Metamathematics
- Modus ponens
- Modus tollens
- Monster group
- Monstrous moonshine
- Natural number
- Newton, Isaac (1642-1726/7)
- Noether, Emmy (1882-1935)
- Ockham, William of (1287-1347)
- Peirce’s law
- Plato (428/7 or 424/3 - 348/7 BCE)
- Platonic Academy (387 BCE - 529 CE)
- Platonic realism
- Platonism
- Philosophy of mathematics
- Problem of universals
- Proof by contrapositive
- Proof theory
- Propositional calculus
- Principia Mathematica (1910)
- Pythagoras (570-495 BCE)
- Pythagoreanism
- Riemann hypothesis
- Rule of inference
- Russell, Bertrand (1872-1970)
- Russell’s paradox
- Second-order logic
- Square of opposition
- Sporadic group
- Stokes, George (1819-1903)
- Tarski, Alfred (1901-1983)
- Tarski’s undefinability theorem
- Third man argument
- Transfinite induction
- Type theory
- Unsolved problems in information theory, List of
- Unsolved problems in linquistics, List of
- Unsolved problems in mathematics, List of
- von Neumann, John (1903-1957)
- Weierstrass, Karl (1815-1897)
- When a white horse is not a horse
- Whitehead, Alfred North (1861-1947)
- Wittgenstein’s philosophy of mathematics
- Zeroth-order logic
- Zermelo, Ernst (1871-1953)
- Zermelo-Fraenkel set theory (ZFC)
- ZFC, List of statements independent of
Others
- Model theory - nLab
- ZFC - nLab
- Smith, Peter. (2006-2016). Logic Matters.
- Pigliucci, Massimo. (2015). Smolin on mathematics.
- Zach, Richard. (2015). Quine’s Paradox and Gödel’s Theorem.
- Baez, J.C. (2018). Nonstandard Integers as Complex Numbers.
- Baez, J.C. (2018). Insanely Long Proofs.
- Schwichtenberg, J. (XXXX). Classification of Simple Lie Groups.
- Tao, T. (2019). Career advice.
- Trioni, S. (2020). Cantor’s attic.
Videos
- The Limits of Understanding
- Gregory Chaitin, Mario Livio, Marvin Minsky, Rebecca Newberger Goldstein
- June 4, 2010
- A very platonist math documentary
References
Carter (2009).↩︎
Hall (2000).↩︎
Zee (2016).↩︎
McCrimmon (2000).↩︎
Baez (2002).↩︎
Westbury (2010).↩︎
Frè (2013), ch. 2.↩︎
Varadarajan (2003).↩︎
Tao (2007).↩︎
Sussman & Wisdom (2013).↩︎
Tu (2017).↩︎
Bronstein, Bruna, Cohen, & Velickovic (2021), p. 56–60.↩︎
Connes (1985).↩︎
Trioni, S. (2020). Cantor’s attic - Omega.↩︎
Hilbert (1926), p. 191.↩︎
Hunter (1971).↩︎
Monk (1976).↩︎
Smith (2020).↩︎
Smith (2022).↩︎
Carnap (1958).↩︎
Teller (1989).↩︎
Bonevac (2003).↩︎
MacFarlane (2021).↩︎
Open Logic Project (2020).↩︎
Sheffer (1913).↩︎
Post (1921).↩︎
Stillwell (2004).↩︎
von Fintel (2011).↩︎
Ewald (2018).↩︎
Gödel (1929).↩︎
Henkin (1996).↩︎
Awodey & Forssell (2013).↩︎
Bès (2002).↩︎
Bès & Choffrut (2022).↩︎
Enderton (2009).↩︎
Kleene (1943).↩︎
Rossberg (2004).↩︎
Kleene (1952).↩︎
Shapiro (1991).↩︎
G. Russell (2015).↩︎
Boolos (1984).↩︎
Jerzak (2009).↩︎
Bueno (2010).↩︎
Sider (2022).↩︎
C. I. Lewis (1917).↩︎
Carnap (1947).↩︎
Kripke (1959).↩︎
D. Lewis (1986).↩︎
Carroll (1895).↩︎
Priest (1998).↩︎
Martínez-Ordaz (2021).↩︎
Quine (1986).↩︎
Viteri & DeDeo (2022).↩︎
Hunter (1971), p. 6.↩︎
Weiss & D’Mello (2015), p. 1.↩︎
Weiss & D’Mello (2015).↩︎
Button & Walsh (2018).↩︎
Makowsky (1995).↩︎
Hodges (1985).↩︎
Gödel (1931).↩︎
Gödel (1995).↩︎
Edmonds (2020), p. 96 and TODO: Carnap’s diary.↩︎
Goldstein (2005).↩︎
Raatikainen (2020).↩︎
Tarski (1983).↩︎
Tarski (1969).↩︎
Church (1936).↩︎
Turing (1937).↩︎
Atiyah, M. et al. (1994), p. 182.↩︎
Franzén (2005).↩︎
Lloyd (1993).↩︎
Cubitt, Perez-Garcia, & Wolf (2015).↩︎
Ord (2024).↩︎
Aaronson (2011).↩︎
Eilenberg & MacLane (1945).↩︎
Rodin (2012).↩︎
Spivak (2013).↩︎
Fong & Spivak (2018).↩︎
Bradley (2018).↩︎
TODO↩︎
Baez & Dolan (1995).↩︎
Baez & Stay (2009).↩︎
Bradley, Terilla, & Vlassopoulos (2021).↩︎
Yanofsky (2016) In Aguirre, Foster, & Merali (2016), p. 153.↩︎
Ecclesiastes 1:9–10 (NRSV).↩︎
Tegmark (2014).↩︎
Plato, Republic VI 510c, Cooper & Hutchinson (1997), p. 1131.↩︎
Quine (1948).↩︎
Quine (1948), p. 7.↩︎
Quine (1948), p. 9.↩︎
Tegmark (2008).↩︎
De Cruz (2016).↩︎
Chen (2018).↩︎
Bayes (1736), p. 9–10.↩︎
Mill (1877).↩︎
Goodman & Quine (1947).↩︎
Henkin (1953).↩︎
Azzouni (2015).↩︎
Field (1989), p. 68. TODO: Get exact quote.↩︎
Field (2016).↩︎
Burgess (1983).↩︎
Bueno (2013).↩︎
Goodman & Quine (1947), p. 105.↩︎
B. Russell (1905).↩︎
B. Russell (1912), p. 91–118.↩︎
Carnap (1983).↩︎
Snapper (1979).↩︎
Shapiro (2000).↩︎
Linsky & Zalta (2006).↩︎
Linsky & Zalta (2006), p. 43.↩︎
Hilbert (1967), p. 479. Discussion by Michael J. O’Donnell:
Well, the tone sounds like hubris again, but this is actually a relatively modest claim, and largely substantiated by events. Mathematics may arguably be understood as the science of forms, which have an objective quality independent of individual beliefs. What is missing here is the claim that a single formal system may embrace all of mathematics at once, and that we may prove that it contains no error. Notice that Hilbert objects to the “actual, contentual assumptions” of Russell and Whitehead. But, recall that Hilbert claims to treat numerical equations contentually, and even seems to regard that as a virtue. It is not the mere contentual quality of Russell’s and Whitehead’s assumptions that Hilbert objects to, but the fact that each particular assumptions is not verifiable by a single computation or finite observation, and furthermore that there is not even a proof that they are consistent with basic numerical equations. Of course, Hilbert’s proposed system never gets its consistency proof either. Oh well.
Hilbert (1926).↩︎
Brouwer (1908).↩︎
Girard (1987).↩︎
Reid (1996), p. 149.↩︎
Tait (1983).↩︎
Awodey (2014).↩︎
Drake (1957), p.237-8.↩︎
Wigner (1960).↩︎
Putnam (1975b).↩︎
Hamming (1980).↩︎
Zee (2016), p. 564.↩︎
Roberts (2021).↩︎
Putnam (1975a), p. TODO.↩︎
Putnam (1971), p. 57.↩︎