Proof Style and Understanding in Mathematics I: Visualization, Unification and Axiom Choice
From MaRDI portal
Publication:5465102
DOI10.1007/1-4020-3335-4_8zbMath1159.00310OpenAlexW82613747MaRDI QIDQ5465102
Publication date: 22 August 2005
Published in: Synthese Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/1-4020-3335-4_8
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
A fresh look at research strategies in computational cognitive science: the case of enculturated mathematical problem solving ⋮ Reliability of mathematical inference ⋮ Pi on earth, or mathematics in the real world ⋮ Diagrams and Proofs in Analysis ⋮ Naturalness in Mathematics ⋮ Exploring the fruitfulness of diagrams in mathematics ⋮ Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction ⋮ A FORMAL SYSTEM FOR EUCLID’SELEMENTS
This page was built for publication: Proof Style and Understanding in Mathematics I: Visualization, Unification and Axiom Choice
