back to ideas for this text


Single Idea 10157

[from 'works' by Alfred Tarski, in 6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry ]

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.

Gist of Idea

Tarski improved Hilbert's geometry axioms, and without set-theory

Source

report of Alfred Tarski (works [1936]) by Feferman / Feferman - Alfred Tarski: life and logic Ch.9

Book Reference

Feferman,S/Feferman,A.B.: 'Alfred Tarski: life and logic' [CUP 2008], p.230