Formal and Natural Proof: A Phenomenological Approach

DOI10.1007/978-3-030-15655-8_14MaRDI QIDQ6075432zbMATH OpenOpenAlexFDO

Authors Merlin Carl

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

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Formal Proof: Reconciling Correctness and Understanding
• Why proof? What is a proof?
• Proof and Understanding in Mathematical Practice
• Checking proofs
• Informal proof, formal proof, formalism

Cites work

• A concise introduction to mathematical logic
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• A curious inference
• After Gödel. Platonism and rationalism in mathematics and logic
• Brouwer fixed point theorem in the general case
• scientific article; zbMATH DE number 3521895 (Why is no real title available?)
• scientific article; zbMATH DE number 545277 (Why is no real title available?)
• Is there still a sense in which mathematics can have foundations?
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On the Philosophical Development of Kurt Gödel
• Phenomenology, logic, and the philosophy of mathematics.
• Syntactic reduction in Husserl's early phenomenology of arithmetic
• The Gödel completeness theorem for uncountable languages
• The phenomenology of mathematical proof
• Tracking reason. Proof, consequence, and truth
• What does logic have to tell us about mathematical proofs?
• Why do informal proofs conform to formal norms?

Cited in

(1)

• scientific article; zbMATH DE number 991409 (Why is no real title available?)

This page was built for publication: Formal and Natural Proof: A Phenomenological Approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6075432)