Combining Texts
Ideas for
'Individuals without Sortals', 'Intro to Gdel's Theorems' and 'Prescriptivism'
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 / 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
|
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 / d. Counting via concepts
|
17518
|
Counting 'coin in this box' may have coin as the unit, with 'in this box' merely as the scope [Ayers]
|
|
17516
|
If counting needs a sortal, what of things which fall under two sortals? [Ayers]
|
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]
|