Definition:Tarski's Geometry/Historical Note
Jump to navigation
Jump to search
Historical Note on Tarski's Geometry
Tarski's geometry was invented to treat the same subjects as Euclidean geometry, but entirely within the framework of first-order logic.
Work In Progress In particular: Cite givant.List Tarski's undefined terms. Mention the historical development: Started by Tarski's lectures at university of warsaw, then he and his students spent 10 years tweaking it. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by completing it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{WIP}} from the code. |