Combining Philosophers

Ideas for Anaxarchus, William Paley and Alfred Tarski

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

display all the ideas for this combination of philosophers

---

2 ideas

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry

10157	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

6. Mathematics / C. Sources of Mathematics / 7. Formalism

10154	Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics [Feferman/Feferman on Tarski]
	Full Idea: Tarski's theory of truth has been most influential in eventually creating a shift from the entirely syntactic way of doing things in metamathematics (promoted by Hilbert in the 1920s, in his theory of proofs), towards a set-theoretical, semantic approach.
	From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Feferman / Feferman - Alfred Tarski: life and logic Int III