The following pages link to Axioms in Mathematical Practice (Q4980009):
Displaying 7 items.
- The development of Euclidean axiomatics. The systems of principles and the foundations of mathematics in editions of the \textit{Elements} in the early modern age (Q343827) (← links)
- Stairway to heaven: the abstract method and levels of abstraction in mathematics (Q517895) (← links)
- On the virtue of categoricity (Q1981999) (← links)
- Extended mathematical cognition: external representations with non-derived content (Q2690211) (← links)
- Reliability of mathematical inference (Q2695405) (← links)
- Prolegomena to any theory of proof simplicity (Q5204801) (← links)
- What are implicit definitions? (Q6651275) (← links)
