scientific article

No author found.

Publication date: 10 February 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

visualization diagrammatic reasoning category theory algebraic geometry philosophy of mathematics mathematical practice mathematics and physics mathematical explanation mathematical concepts and definitions purity of methods understanding proofs use of computers in mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) History of geometry (51-03) History of category theory (18-03)

Related Items

A fully automatic theorem prover with human-style output ⋮ PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC ⋮ Proof Theory in Philosophy of Mathematics ⋮ Epistemic justification and operational symbolism ⋮ Unnamed Item ⋮ Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory ⋮ Euclid's common notions and the theory of equivalence ⋮ Unificatory understanding and explanatory proofs ⋮ Operationalism: an interpretation of the philosophy of ancient Greek geometry ⋮ MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ Top-down and bottom-up philosophy of mathematics ⋮ Ten misconceptions from the history of analysis and their debunking ⋮ Duality as a category-theoretic concept ⋮ Informal proofs and mathematical rigour ⋮ How to think about informal proofs ⋮ Figures, Formulae, and Functors ⋮ An Argumentative Approach to Ideal Elements in Mathematics ⋮ What Philosophy of Mathematical Practice Can Teach Argumentation Theory About Diagrams and Pictures ⋮ The Parallel Structure of Mathematical Reasoning ⋮ SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT ⋮ Some Problems in the History of Modern Mathematics ⋮ Proving quadratic reciprocity: explanation, disagreement, transparency and depth ⋮ Prolegomena to virtue-theoretic studies in the philosophy of mathematics ⋮ Practical reasoning and the witnessably rigorous proof ⋮ On the representational role of Euclidean diagrams: representing \textit{qua} samples ⋮ Purity and Explanation: Essentially Linked? ⋮ Explanation and Realism: Interwoven Themes in the Philosophy of Mathematics ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ Steps toward a philosophy for mathematicians ⋮ Mathematicians writing for mathematicians ⋮ Abstract relations: bibliography and the infra-structures of modern mathematics ⋮ The material reasoning of folding paper ⋮ Functional explanation in mathematics ⋮ On the inconsistency of Mumma's Eu ⋮ Virtue theory of mathematical practices: an introduction ⋮ ``Free rides in mathematics ⋮ Why `scaffolding' is the wrong metaphor: the cognitive usefulness of mathematical representations ⋮ On fluidity of the textual transmission in Abraham bar Ḥiyya's \textit{Ḥibbur ha-Meshiḥah ve-ha-Tishboret} ⋮ Induction and explanatory definitions in mathematics ⋮ Do mathematical explanations have instrumental value? ⋮ A fresh look at research strategies in computational cognitive science: the case of enculturated mathematical problem solving ⋮ Word choice in mathematical practice: a case study in polyhedra ⋮ Frege and the origins of model theory in nineteenth century geometry ⋮ Reliability of mathematical inference ⋮ Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950 ⋮ Introduction ⋮ Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond ⋮ Scientific Philosophy and Philosophical Science ⋮ Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry ⋮ Handling mathematical objects: representations and context ⋮ Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond ⋮ Forms and roles of diagrams in knot theory ⋮ Impurity in contemporary mathematics ⋮ Induction, constructivity, and grounding ⋮ On the virtue of categoricity ⋮ Remarks on purity of methods ⋮ Newton's experimental proofs ⋮ Indispensability and explanation: an overview and introduction ⋮ The concept of ``character in Dirichlet's theorem on primes in an arithmetic progression ⋮ Challenging epistemology: Interactive proofs and zero knowledge ⋮ Numbers as moments of multisets: a new-old formulation of arithmetic ⋮ CHARACTER AND OBJECT ⋮ ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING ⋮ TRIAL AND ERROR MATHEMATICS I: DIALECTICAL AND QUASIDIALECTICAL SYSTEMS ⋮ Proofs and retributions, or: why Sarah can't take limits ⋮ Diagrams and Proofs in Analysis ⋮ Mathematics and argumentation ⋮ The law of refraction and Kepler's heuristics ⋮ Discussing Hilbert's 24th problem ⋮ Explanation in mathematical conversations: an empirical investigation ⋮ Informal and absolute proofs: some remarks from a Gödelian perspective ⋮ Plane and Solid Geometry: A Note on Purity of Methods ⋮ An Inquiry into the Practice of Proving in Low-Dimensional Topology ⋮ David Hilbert and the foundations of the theory of plane area ⋮ Exploring the fruitfulness of diagrams in mathematics ⋮ From Euclidean geometry to knots and nets ⋮ What the Applicability of Mathematics Says About Its Philosophy ⋮ MODULARITY IN MATHEMATICS ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ The structuralist mathematical style: Bourbaki as a case study ⋮ MEASURING THE SIZE OF INFINITE COLLECTIONS OF NATURAL NUMBERS: WAS CANTOR’S THEORY OF INFINITE NUMBER INEVITABLE? ⋮ COMPUTER TOOLS FOR SOLVING MATHEMATICAL PROBLEMS: A REVIEW ⋮ The Significance of Relativistic Computation for the Philosophy of Mathematics

This page was built for publication: