Pages that link to "Item:Q5346689"
From MaRDI portal
The following pages link to CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689):
Displaying 8 items.
- A constructive version of Tarski's geometry (Q490871) (← links)
- Brouwer and Euclid (Q1688971) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- Operationalism: an interpretation of the philosophy of ancient Greek geometry (Q2154005) (← links)
- Weaker variants of infinite time Turing machines (Q2309496) (← links)
- On the equivalence of Playfair's axiom to the parallel postulate (Q2329377) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- Why did Euclid not need the Pasch axiom? (Q6121100) (← links)
