Combining Texts

Ideas for 'Reportatio', 'Must We Believe in Set Theory?' and 'Intermediate Logic'

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

display all the ideas for this combination of texts

---

5 ideas

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite

10491

Infinite natural numbers is as obvious as infinite sentences in English [Boolos]

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities

10483

Mathematics and science do not require very high orders of infinity [Boolos]

6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction

13358

Ordinary or mathematical induction assumes for the first, then always for the next, and hence for all [Bostock]

13359

Complete induction assumes for all numbers less than n, then also for n, and hence for all numbers [Bostock]

6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism

10490

Mathematics isn't surprising, given that we experience many objects as abstract [Boolos]