Reshaping the metaphor of proof
From MaRDI portal
Recommendations
Cites work
- A machine-checked proof of the odd order theorem
- Cauchy and the continuum: the significance of non-standard analysis for the history and philosophy of mathematics
- Centennial History of Hilbert's 16th Problem
- Formal proof
- Hilbert's twenty-fourth problem
- Hilbert's Twenty-Fourth Problem
- How to think about informal proofs
- scientific article; zbMATH DE number 1188828 (Why is no real title available?)
- scientific article; zbMATH DE number 3713801 (Why is no real title available?)
- scientific article; zbMATH DE number 45378 (Why is no real title available?)
- scientific article; zbMATH DE number 459389 (Why is no real title available?)
- scientific article; zbMATH DE number 520713 (Why is no real title available?)
- scientific article; zbMATH DE number 2145095 (Why is no real title available?)
- scientific article; zbMATH DE number 952379 (Why is no real title available?)
- scientific article; zbMATH DE number 2121876 (Why is no real title available?)
- scientific article; zbMATH DE number 853854 (Why is no real title available?)
- scientific article; zbMATH DE number 897461 (Why is no real title available?)
- scientific article; zbMATH DE number 3201760 (Why is no real title available?)
- scientific article; zbMATH DE number 5219792 (Why is no real title available?)
- scientific article; zbMATH DE number 2237875 (Why is no real title available?)
- Indiscrete thoughts. With forewords by Reuben Hersh and Robert Sokolowski. Edited, with notes and an epilogue by Fabrizio Palombi.
- Mathematical Platonism and its opposites
- On proof and progress in mathematics
- On the `gap' in a theorem of Heegner
- Oriented matroids, complex manifolds, and a combinatorial model for \(BU\).
- The fundamental theorem of algebra and complexity theory
- Topology in the 20th century: a view from the inside
- Truth as value and duty: lessons of mathematics
- What does logic have to tell us about mathematical proofs?
Cited in
(25)- Despite physicists, proof is essential in mathematics
- The phenomenology of mathematical proof
- Open texture and mathematics
- Is mathematics problem solving or theorem proving?
- The surveyability of mathematical proof: A historical perspective
- Theorems as constructive visions
- The parallel structure of mathematical reasoning
- Proof: some notes on a phenomenon between freedom and enforcement
- Mathematical proofs in practice: revisiting the reliability of published mathematical proofs
- Nineteenth century analysis as philosophy of mathematics
- The mathematical theorem. Reflections on the history and the nature of proof
- On proof and progress in mathematics
- Proofs as Objects
- Discussing Hilbert's 24th problem
- Explanation in mathematical conversations: an empirical investigation
- Pathways of deduction
- Mathematical knowledge: Motley and complexity of proof
- Some thoughts and a proposal in the philosophy of mathematics
- scientific article; zbMATH DE number 7646012 (Why is no real title available?)
- Confronting ideals of proof with the ways of proving of the research mathematician
- Computers as a novel mathematical reality. I: A personal account
- Visual proofs as counterexamples to the \textit{standard view} of informal mathematical proofs?
- Practical reasoning and the witnessably rigorous proof
- Finding tactics in proofs
- Nikolai Vavilov, mathematics and life
This page was built for publication: Reshaping the metaphor of proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5204811)
