Combining Texts
Ideas for
'Epistemic Operators', 'Intro to Gdel's Theorems' and 'Necessary Beings'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
3 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 / f. Arithmetic
10619
|
The truths of arithmetic are just true equations and their universally quantified versions [Smith,P]
|