Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.

- Radical realism

- Realist
- The Academy (387 BCE - 529 CE): “Let no one ignorant of geometry enter”
- Mathematics is descriptive of a real but trans-empirical realm.
- A very platonist math documentary

- Formalism
- Antirealist, Positivism
- Wigner
^{1} - Review article on the philosophy of math by Snapper
^{2}

From Wikipedia:

- The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an “effective procedure” (e.g., a computer program, but it could be any sort of algorithm) is capable of proving all truths about the relations of the natural numbers.
- The second incompleteness theorem, an extension of the first, shows that such a system cannot demonstrate its own consistency. Sufficiently strong proof theories cannot prove their own consistency (provided that they are in fact consistent).
- Gödel’s second incompleteness theorem also implies that a theory T1 satisfying the technical conditions outlined above cannot prove the consistency of any theory T2 that proves the consistency of T1. This is because such a theory T1 can prove that if T2 proves the consistency of T1, then T1 is in fact consistent. For the claim that T1 is consistent has form “for all numbers n, n has the decidable property of not being a code for a proof of contradiction in T1”. If T1 were in fact inconsistent, then T2 would prove for some n that n is the code of a contradiction in T1. But if T2 also proved that T1 is consistent (that is, that there is no such n), then it would itself be inconsistent. This reasoning can be formalized in T1 to show that if T2 is consistent, then T1 is consistent. Since, by second incompleteness theorem, T1 does not prove its consistency, it cannot prove the consistency of T2 either.
- The corollary also indicates the epistemological relevance of the second incompleteness theorem. It would actually provide no interesting information if a theory T proved its consistency. This is because inconsistent theories prove everything, including their consistency. Thus a consistency proof of T in T would give us no clue as to whether T really is consistent; no doubts about the consistency of T would be resolved by such a consistency proof. The interest in consistency proofs lies in the possibility of proving the consistency of a theory T in some theory T’ that is in some sense less doubtful than T itself, for example weaker than T. For many naturally occurring theories T and T’, such as T = Zermelo-Fraenkel set theory and T’ = primitive recursive arithmetic, the consistency of T’ is provable in T, and thus T’ can’t prove the consistency of T by the above corollary of the second incompleteness theorem.
- The second incompleteness theorem does not rule out consistency proofs altogether, only consistency proofs that could be formalized in the theory that is proved consistent. For example, Gerhard Gentzen proved the consistency of Peano arithmetic (PA) in a different theory that includes an axiom asserting that the ordinal called $\varepsilon_0$ is wellfounded; see Gentzen’s consistency proof. Gentzen’s theorem spurred the development of ordinal analysis in proof theory.

More:

- von Neumann

Gödel was a platonist, a (religious) realist.

- Antirealist

- Antirealist
*Science Without Numbers*^{3}- Bueno
^{4}

- Realist

- Realist?
- See the outline on Naturalism.

- Struggles with the continuum
^{5}.

- TODO

- What would happen if you asked an Alien to solve a Rubik’s cube?

Jon Lawhead - One of the climate people just asked me “how do philosophers get paid?” He was blown away that most people don’t do grant writing, and that we tend to juggle our writing with teaching. He also got very excited about the unreasonable effectiveness of mathematics problem, and marveled that we get paid to think about things like that.

It is awesome. Some level of necessitarianism gots to be on the right track there right?

Jon Lawhead - I’m not convinced of that, Ryan Reece, though I’m far from an expert on this area. His intuitions leaned in the constructivist (David Hilbert-y) direction, as do mine. That is, that math is effective because we designed it to be that way, since it’s a general language in which to talk about patterns (which is, at bottom, what science is all about). Discovering more mathematical truths involves discovering more implications of the formal system we’ve designed, and/or extending that formal system deliberately.

Of course I’m not an expert here either, but lots of “…buts” come to mind when I’m told that math is just a language. (Forgive my brain dump.)

There’s a lot of hangups here because common language is imprecise about differentiating a mathematical concept from its notation (obviously constructed). I find it really hard not to be convinced that, for example, if we made contact or found evidence of intelligent life in another star system, and we were able to comb their mathematical journals, there would be a metaphysical fact of the matter to whether or not they had a theory of differential and integral calculus. There would similarly be a separate fact of the matter as to whether they knew the pythagorean theorem or whether they had discovered that there are finite number of simple Lie groups. Regardless of its notation or history of construction, there will be mathematical concepts represented that we could identify.

We can make the same argument with disconnected cultures here on earth, and identify that ancient Indians and Egyptians both knew about fractions, even if they didn’t have a concept of groups. Similarly, independent of the notational construction, we celebrate that both Newton and Leibniz developed fundamental concepts in calculus independently (even with the controversy about how much of each other’s documents they may have seen).

Surely this against-formalism type of argument has been made by people better versed in this than me. I’m reacting to reading Carnap’s ESO recently. Carnap agreed with you that math is a construction, but my list of “buts” to him would start with pointing out that in the Abstract vs Nominalistic divide, we should also be careful to further divide abstract concepts as to whether or not they are *natural*. For example, Vector spaces are different kinds of abstractions than unicorns. Why? Because they are *natural*. It’s those natural kinds that we can be confident we could identify across linguistic barriers.

I’m still trying to piece together who has threaded this argument together the best. But I think the right road to countering the positivists/nominalists rejection of the reality of all abstractions is by pointing out that some of our abstractions are natural kinds, which in some sense, cut nature at its joints and describe a real structure in nature. The digits of pi, for example, are discovered, not constructed.

I realize I’ve left things question begging as to what makes a natural kind, but at least theres a direction to march now, and I don’t think clarifying that definition is insurmountable. Probably many philosophers have already done it for me.

- @Carnap_1950_Empiricism_semantics_and_ontology

- Empiricists tend to prefer to restrict themselves to
*nominalistic language*– without containing references to abstract entities.

- TODO.
- The map is not the territory (Jorge Luis Borges).

- @Wigner_1960_The_unreasonable_effectiveness_of_mathematics

- TODO.

- @Field_1980_Science_Without_Numbers

- TODO.

- @Snapper_1979_The_three_crises_in_mathematics_Logicism

- TODO.

- TODO.

- Alternative Axiomatic Set Theories
- Analysis
- Analytic/Synthetic Distinction
- Aristotle and Mathematics
- Automated Reasoning
- Boolean Algebra, The Mathematics of
- Brouwer, Luitzen Egbertus Jan (1881-1966)
- Computer Science, Philosophy of
- Computer Simulations in Science
- Constructive Mathematics
- Dedekind’s Contributions to the Foundations of Mathematics
- Descartes’ Mathematics
- Diagrams
- Epistemology of Visual Thinking in Mathematics
- Explanation in Mathematics
- Fictionalism
- Fictionalism in the Philosophy of Mathematics
- First-order Model Theory
- 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
- Hilbert’s Program
- Identity Theory of Truth
- Inconsistent Mathematics
- Indispensability Arguments in the Philosophy of Mathematics
- 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
- Platonism in the Philosophy of Mathematics
- Platonism in Metaphysics
- Principia Mathematica
- Proof Theory
- Pythagoras (570-495 BCE)
- Pythagoreanism
- Quantifiers and quantification
- Quine’s New Foundations
- Russell, Bertrand (1872-1970)
- Russell’s Logical Atomism
- Russell’s Paradox
- Self-reference
- 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

- Analytic Philosophy
- Applicability of Mathematics
- Fictionalism in the Philosophy of Mathematics
- Frege, Gottlob (1848-1925)
- Game Theory
- Indispensability Argument in the Philosophy of Mathematics
- Infinite
- Poincaré, Jules Henri (1854-1912)
- 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é’s Philosophy of Mathematics
- Process Philosophy
- Pythagoras (570-495 BCE)
- Relational Models Theory
- Russell’s Paradox
- Universals
- Wittgenstein’s Later Philosophy of Mathematics

- Aumann’s agreement theorem
- Brouwer, L.E.J. (1881-1966)
- Cantor, Georg (1845-1918)
- Cauchy, Augustin-Louis (1789-1857)
- Central limit theorem
- Continuum hypothesis
- Diagonal lemma
- Ethnomathematics
- Euler, Leonhard (1707-1783)
- First-order logic
- Frege, Gottlob (1848-1925)
- Gentzen’s consistency proof
- Gödel, Kurt (1906-1978)
- Gödel’s incompleteness theorems
- Hilbert, David (1862-1943)
- Hilbert’s Program
- Jacobi, Carl Gustav Jacob (1804-1851)
- Kronecker, Leopold (1823-1891)
- Kripke, Saul (b. 1940)
- Logicism
- Löwenheim-Skolem theorem
- Mathematical induction
- Mathematical Universe Hypothesis
- Metamathematics
- Natural number
- Noether, Emmy (1882-1935)
- Plato (428/7 or 424/3 - 348/7 BCE)
- Platonic Academy (387 BCE - 529 CE)
- Platonic realism
- Platonism
- Philosophy of mathematics
- Problem of universals
- Propositional calculus
- Pythagoras (570-495 BCE)
- Pythagoreanism
- Rule of inference
- Russell, Bertrand (1872-1970)
- Second-order logic
- 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)
- Zeroth-order logic

- Pigliucci, Massimo. (2015). “Smolin on mathematics.”
- Smith, Peter. (2006-2016). Logic Matters, a blog.
- Zach, Richard. (2015). “Quine’s Paradox and Gödel’s Theorem.”
- Baez, J.C. (2018). Nonstandard Integers as Complex Numbers.

- The Limits of Understanding
- Gregory Chaitin, Mario Livio, Marvin Minsky, Rebecca Newberger Goldstein
- June 4, 2010

- A very platonist math documentary