display all the ideas for this combination of philosophers
3 ideas
10157 | Tarski improved Hilbert's geometry axioms, and without set-theory [Tarski, by Feferman/Feferman] |
8628 | I hold that algebra and number are developments of logic [Jevons] |
10154 | Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics [Feferman/Feferman on Tarski] |