The following pages link to On the inconsistency of Mumma's Eu (Q424577):
Displayed 6 items.
- 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)
- Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning (Q2255228) (← links)
- Diagrams in mathematics (Q2289698) (← links)
- The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu'' (Q2330505) (← links)
- Proof-checking Euclid (Q2631965) (← links)