Combining Texts

Ideas for 'fragments/reports', 'The Concept of Truth for Formalized Languages' and 'A Structural Account of Mathematics'

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

display all the ideas for this combination of texts

---

3 ideas

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

9553	Analytic geometry gave space a mathematical structure, which could then have axioms [Chihara]

6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism

10192

We can replace existence of sets with possibility of constructing token sentences [Chihara, by MacBride]

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]