Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective

DOI10.1007/978-3-030-20447-1_11zbMath1469.03020OpenAlexW2981780922MaRDI QIDQ3305632

Godehard Link

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

Mathematics Subject Classification ID

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