Formal and Natural Proof: A Phenomenological Approach
From MaRDI portal
Publication:6075432
DOI10.1007/978-3-030-15655-8_14zbMath1528.03018OpenAlexW2122159651MaRDI QIDQ6075432
Publication date: 20 September 2023
Published in: Synthese Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-15655-8_14
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
- Syntactic reduction in Husserl's early phenomenology of arithmetic
- A curious inference
- What does logic have to tell us about mathematical proofs?
- The phenomenology of mathematical proof
- Why do informal proofs conform to formal norms?
- The Gödel Completeness Theorem for Uncountable Languages
- Brouwer Fixed Point Theorem in the General Case
- On the Philosophical Development of Kurt Gödel
- A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
- On Computable Numbers, with an Application to the Entscheidungsproblem
- A concise introduction to mathematical logic
This page was built for publication: Formal and Natural Proof: A Phenomenological Approach