The following pages link to (Q4433665):
Displaying 20 items.
- How to think about informal proofs (Q383052) (← links)
- What can the philosophy of mathematics learn from the history of mathematics? (Q948979) (← links)
- Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics (Q1654210) (← links)
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- Expressing `the structure of' in homotopy type theory (Q2054123) (← links)
- Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond (Q2219025) (← links)
- On the persuasiveness of visual arguments in mathematics (Q2271078) (← links)
- Mathematics and argumentation (Q2271083) (← links)
- Duality as a category-theoretic concept (Q2406918) (← links)
- Experimental mathematics, computers and the a priori (Q2441736) (← links)
- Lakatos's criticism of Carnapian inductive logic was mistaken (Q2634488) (← links)
- A Practice-Based Approach to Diagrams (Q2948609) (← links)
- Figures, Formulae, and Functors (Q2948610) (← links)
- Non-deductive Logic in Mathematics: The Probability of Conjectures (Q2950026) (← links)
- Another Look at Mathematical Style, as Inspired by Le Lionnais and the OuLiPo (Q3295792) (← links)
- Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices (Q4912995) (← links)
- L’équivalence duale de catégories: A Third Way of Analogy? (Q5016671) (← links)
- Naturalness in Mathematics (Q5213636) (← links)
- Introduction (Q5892213) (← links)
- Envisioning transformations -- the practice of topology (Q6599262) (← links)
