Combining Texts

Ideas for 'Protagoras', 'Intro to Gdel's Theorems' and 'Letters to Russell'

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

display all the ideas for this combination of texts

---

4 ideas

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers

10599

For primes we write (x not= 1 ∧ ∀u∀v(u x v = x → (u = 1 ∨ v = 1))) [Smith,P]

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers

18253

I wish to go straight from cardinals to reals (as ratios), leaving out the rationals [Frege]

10610

The reals contain the naturals, but the theory of reals doesn't contain the theory of naturals [Smith,P]

6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic

10619

The truths of arithmetic are just true equations and their universally quantified versions [Smith,P]