Combining Texts

All the ideas for 'works', 'works' and 'Mathematics and Philosophy: grand and little'

expand these ideas     |    start again     |     specify just one area for these texts

11 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / e. Philosophy as reason
9808 Philosophy aims to reveal the grandeur of mathematics [Badiou]
5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction
10121 Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
8717 Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend]
9812 In mathematics, if a problem can be formulated, it will eventually be solved [Badiou]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
9813 Mathematics shows that thinking is not confined to the finite [Badiou]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
10113 The grounding of mathematics is 'in the beginning was the sign' [Hilbert]
10115 Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman]
6. Mathematics / C. Sources of Mathematics / 8. Finitism
10116 Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman]
7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
9809 Mathematics inscribes being as such [Badiou]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
9811 It is of the essence of being to appear [Badiou]
21. Aesthetics / B. Nature of Art / 8. The Arts / b. Literature
9814 All great poetry is engaged in rivalry with mathematics [Badiou]