The following pages link to (Q3600462):
Displaying 49 items.
- Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry (Q3295837) (← links)
- (Q3303439) (← links)
- MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) (← links)
- The Derivation-Indicator View of Mathematical Practice (Q4662815) (← links)
- (Q4913628) (← links)
- Diagrams and Proofs in Analysis (Q4932266) (← links)
- What the Applicability of Mathematics Says About Its Philosophy (Q4972869) (← links)
- COMPUTER TOOLS FOR SOLVING MATHEMATICAL PROBLEMS: A REVIEW (Q5012166) (← links)
- The Significance of Relativistic Computation for the Philosophy of Mathematics (Q5015969) (← links)
- PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC (Q5037516) (← links)
- Newton's experimental proofs (Q5156842) (← links)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
- Explanation in mathematical conversations: an empirical investigation (Q5204808) (← links)
- Praxis matemática: reflexiones sobre la cognición que la hace posible (Q5205211) (← links)
- Plane and Solid Geometry: A Note on Purity of Methods (Q5213623) (← links)
- An Inquiry into the Practice of Proving in Low-Dimensional Topology (Q5213637) (← links)
- MODULARITY IN MATHEMATICS (Q5221289) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950 (Q5378563) (← links)
- CHARACTER AND OBJECT (Q5737951) (← links)
- ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING (Q5737966) (← links)
- TRIAL AND ERROR MATHEMATICS I: DIALECTICAL AND QUASIDIALECTICAL SYSTEMS (Q5741615) (← links)
- MEASURING THE SIZE OF INFINITE COLLECTIONS OF NATURAL NUMBERS: WAS CANTOR’S THEORY OF INFINITE NUMBER INEVITABLE? (Q5850982) (← links)
- Introduction (Q5892213) (← links)
- SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT (Q6051422) (← links)
- Some Problems in the History of Modern Mathematics (Q6061123) (← links)
- Proving quadratic reciprocity: explanation, disagreement, transparency and depth (Q6088591) (← links)
- Prolegomena to virtue-theoretic studies in the philosophy of mathematics (Q6142449) (← links)
- Practical reasoning and the witnessably rigorous proof (Q6142455) (← links)
- On the representational role of Euclidean diagrams: representing \textit{qua} samples (Q6142486) (← links)
- Steps toward a philosophy for mathematicians (Q6169824) (← links)
- Mathematicians writing for mathematicians (Q6182762) (← links)
- Abstract relations: bibliography and the infra-structures of modern mathematics (Q6182764) (← links)
- The material reasoning of folding paper (Q6182766) (← links)
- Functional explanation in mathematics (Q6182767) (← links)
- Virtue theory of mathematical practices: an introduction (Q6187756) (← links)
- ``Free rides'' in mathematics (Q6187762) (← links)
- Envisioning transformations -- the practice of topology (Q6599262) (← links)
- ``The end of proof''? The integration of different mathematical cultures as experimental mathematics comes of age (Q6599270) (← links)
- Diversity in proof appraisal (Q6599271) (← links)
- Purity as a value in the German-speaking area (Q6599275) (← links)
- Values in caring for proof (Q6599276) (← links)
- Ancient Greek mathematical proofs and metareasoning (Q6609974) (← links)
- Peano's geometry: from empirical foundations to abstract development (Q6621029) (← links)
- Mathematical practice: how an astronomical table was made in the \textit{Yuanjia li} (443 AD) (Q6623912) (← links)
- History of mathematics illuminates philosophy of mathematics: Riemann, Weierstrass and mathematical understanding (Q6623924) (← links)
- Reflections (Q6623927) (← links)
- Truth diagrams for some non-classical and modal logics (Q6650730) (← links)
- Reconciling \textit{Rigor and intuition} (Q6651278) (← links)
