Pages that link to "Item:Q343827"
From MaRDI portal
The following pages link to 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):
Displaying 21 items.
- Aristotle's axiom in the foundations of geometry (Q1109336) (← links)
- The debate between Peletier and Clavius on superposition (Q1708441) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- A matter of great magnitude: The conflict over arithmetization in 16th-, 17th-, and 18th-century English editions of Euclid's Elements Books I through VI (1561-1795) (Q1975530) (← links)
- Controversies in the foundations of analysis: comments on Schubring's \textit{Conflicts} (Q2013410) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- `Disturbed' by Euclid: Thomas Fincke and the reading of Ramist mathematics in sixteenth-century Germany (Q2034535) (← links)
- The ubiquitous axiom (Q2038868) (← links)
- ``Complex numbers'' and the problem of multiplication between quantities (Q2145720) (← links)
- Euclid's common notions and the theory of equivalence (Q2152377) (← links)
- Periodic words connected with the tribonacci-Lucas numbers (Q2414402) (← links)
- Mathematics and its ancient classics worldwide: translations, appropriations, reconstructions, roles. Abstracts from the workshop held May 30 -- June 5, 2021 (hybrid meeting) (Q2693007) (← links)
- Leibniz on the Logic of Conceptual Containment and Coincidence (Q3297216) (← links)
- Leibniz on the Continuity of Space (Q3297219) (← links)
- Aristotle’s Relations: An Interpretation in Combinatory Logic (Q5057051) (← links)
- Euclid after Computer Proof-Checking (Q5094535) (← links)
- ‘A designe Inchoate’ (Q6167185) (← links)
- A Diagram of Choice: The Curious Case of Wallis’s Attempted Proof of the Parallel Postulate and the Axiom of Choice (Q6485439) (← links)
- Euclidean terms in European languages, 1482--1703 (Q6640917) (← links)
- Definitions \textit{more geometrarum} and Newton's scholium on space and time (Q6642627) (← links)
- Euclid's fourth postulate: its authenticity and significance for the foundations of Greek mathematics (Q6653775) (← links)