more on this theme | more from this thinker
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 Ref
Feferman,S/Feferman,A.B.: 'Alfred Tarski: life and logic' [CUP 2008], p.230
| 10153 | In everyday language, truth seems indefinable, inconsistent, and illogical [Tarski] |
| 19141 | Tarski thought axiomatic truth was too contingent, and in danger of inconsistencies [Tarski, by Davidson] |
| 10048 | There is no clear boundary between the logical and the non-logical [Tarski] |
| 10694 | Logical consequence is when in any model in which the premises are true, the conclusion is true [Tarski, by Beall/Restall] |
| 10479 | Logical consequence: true premises give true conclusions under all interpretations [Tarski, by Hodges,W] |
| 10157 | Tarski improved Hilbert's geometry axioms, and without set-theory [Tarski, by Feferman/Feferman] |