Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective
From MaRDI portal
Publication:3305632
DOI10.1007/978-3-030-20447-1_11zbMath1469.03020OpenAlexW2981780922MaRDI QIDQ3305632
Publication date: 10 August 2020
Published in: Mathesis Universalis, Computability and Proof (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-20447-1_11
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Essays on Gödel's reception of Leibniz, Husserl, and Brouwer
- Formalism and beyond. On the nature of mathematical discourse
- Combinatory logic. With two sections by William Craig.
- Solving Wigner's mystery: the reasonable (though perhaps limited) effectiveness of mathematics in the natural sciences
- Set theory. An introduction to independence proofs
- Reductionism as resource-conscious reasoning
- One hundred years of Russell's paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001.
- Intuitionism. An introduction. 3rd revised ed
- Outlines of a formalist philosophy of mathematics
- Plato's Problem
- The Mathematical Infinite as a Matter of Method(<Special Section>Infinity in Philosophy and Mathematics)
- UNFOLDING FINITIST ARITHMETIC
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- On the Question of Absolute Undecidability
- Formal Discourse in Russell: From Metaphysics to Philosophical Logic
- Partial realizations of Hilbert's program
- Exploring Categorical Structuralism
- Towards an Institutional Account of the Objectivity, Necessity, and Atemporality of Mathematics
- Truth and Proof in Intuitionism
- In Praise of Replacement
- Gödel and Set Theory
- Universal grammar
- Steps toward a constructive nominalism
This page was built for publication: Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective