The following pages link to (Q3600462):
Displaying 50 items.
- Epistemic justification and operational symbolism (Q301107) (← links)
- Top-down and bottom-up philosophy of mathematics (Q360438) (← links)
- Ten misconceptions from the history of analysis and their debunking (Q360440) (← links)
- How to think about informal proofs (Q383052) (← links)
- On the inconsistency of Mumma's Eu (Q424577) (← links)
- Handling mathematical objects: representations and context (Q484901) (← links)
- Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond (Q486948) (← links)
- Forms and roles of diagrams in knot theory (Q488470) (← links)
- Indispensability and explanation: an overview and introduction (Q516214) (← links)
- Numbers as moments of multisets: a new-old formulation of arithmetic (Q536601) (← links)
- Informal proofs and mathematical rigour (Q603900) (← links)
- Challenging epistemology: Interactive proofs and zero knowledge (Q959048) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- Impurity in contemporary mathematics (Q1981996) (← links)
- Induction, constructivity, and grounding (Q1981997) (← links)
- On the virtue of categoricity (Q1981999) (← links)
- Remarks on purity of methods (Q1982004) (← links)
- Proofs and retributions, or: why Sarah can't take limits (Q2013325) (← links)
- David Hilbert and the foundations of the theory of plane area (Q2052227) (← links)
- Exploring the fruitfulness of diagrams in mathematics (Q2052612) (← links)
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- The structuralist mathematical style: Bourbaki as a case study (Q2080585) (← links)
- Euclid's common notions and the theory of equivalence (Q2152377) (← links)
- Unificatory understanding and explanatory proofs (Q2152391) (← links)
- Operationalism: an interpretation of the philosophy of ancient Greek geometry (Q2154005) (← links)
- Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond (Q2219025) (← links)
- The concept of ``character'' in Dirichlet's theorem on primes in an arithmetic progression (Q2249437) (← links)
- Mathematics and argumentation (Q2271083) (← links)
- The law of refraction and Kepler's heuristics (Q2285859) (← links)
- Informal and absolute proofs: some remarks from a Gödelian perspective (Q2288278) (← links)
- A fully automatic theorem prover with human-style output (Q2362206) (← links)
- Duality as a category-theoretic concept (Q2406918) (← links)
- Why `scaffolding' is the wrong metaphor: the cognitive usefulness of mathematical representations (Q2690209) (← links)
- On fluidity of the textual transmission in Abraham bar Ḥiyya's \textit{Ḥibbur ha-Meshiḥah ve-ha-Tishboret} (Q2692772) (← links)
- Induction and explanatory definitions in mathematics (Q2693116) (← links)
- Do mathematical explanations have instrumental value? (Q2693122) (← links)
- A fresh look at research strategies in computational cognitive science: the case of enculturated mathematical problem solving (Q2695158) (← links)
- Word choice in mathematical practice: a case study in polyhedra (Q2695160) (← links)
- Frege and the origins of model theory in nineteenth century geometry (Q2695380) (← links)
- Reliability of mathematical inference (Q2695405) (← links)
- Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory (Q2906144) (← links)
- Figures, Formulae, and Functors (Q2948610) (← links)
- An Argumentative Approach to Ideal Elements in Mathematics (Q2950032) (← links)
- What Philosophy of Mathematical Practice Can Teach Argumentation Theory About Diagrams and Pictures (Q2950039) (← links)
- The Parallel Structure of Mathematical Reasoning (Q2950044) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- Scientific Philosophy and Philosophical Science (Q3295832) (← links)
- Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry (Q3295837) (← links)
- (Q3303439) (← links)
- MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) (← links)
