Combining Texts

Ideas for 'fragments/reports', 'fragments/reports' and 'works'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Tarski improved Hilbert's geometry axioms, and without set-theory [Tarski, by Feferman/Feferman]
     Full Idea: Tarski found an elegant new axiom system for Euclidean geometry that improved Hilbert's earlier version - and he formulated it without the use of set-theoretical notions.
     From: report of Alfred Tarski (works [1936]) by Feferman / Feferman - Alfred Tarski: life and logic Ch.9