Combining Texts

All the ideas for 'works', 'New Foundations for Mathematical Logic' and 'Cardinality, Counting and Equinumerosity'

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

22 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
9879 NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
17453 The meaning of a number isn't just the numerals leading up to it [Heck]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / f. Cardinal numbers
17457 A basic grasp of cardinal numbers needs an understanding of equinumerosity [Heck]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
17448 In counting, numerals are used, not mentioned (as objects that have to correlated) [Heck]
17455 Is counting basically mindless, and independent of the cardinality involved? [Heck]
17456 Counting is the assignment of successively larger cardinal numbers to collections [Heck]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / e. Counting by correlation
17450 Understanding 'just as many' needn't involve grasping one-one correspondence [Heck]
17451 We can know 'just as many' without the concepts of equinumerosity or numbers [Heck]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
17459 Frege's Theorem explains why the numbers satisfy the Peano axioms [Heck]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
17454 Children can use numbers, without a concept of them as countable objects [Heck]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
17458 Equinumerosity is not the same concept as one-one correspondence [Heck]
17449 We can understand cardinality without the idea of one-one correspondence [Heck]
14. Science / B. Scientific Theories / 3. Instrumentalism
7621 Special relativity, unlike general relativity, was operationalist in spirit [Putnam on Einstein]
26. Natural Theory / C. Causation / 1. Causation
22955 Einstein took causation to be the bedrock of physics [Einstein, by Coveney/Highfield]
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
20638 General relativity assumes laws of nature are the same in all frames of reference [Einstein, by Close]
27. Natural Reality / A. Classical Physics / 1. Mechanics / d. Gravity
20636 Newton is a special case of Einstein's general theory, with an infinite speed of light [Einstein, by Close]
27. Natural Reality / B. Modern Physics / 1. Relativity / a. Special relativity
21230 The theory is 'special' because it sticks to observers moving straight, at constant speeds [Einstein, by Farmelo]
21231 Assume the speed of light is constant for all observers, and the laws of physics are the same [Einstein, by Farmelo]
27. Natural Reality / B. Modern Physics / 1. Relativity / b. General relativity
20634 General Relativity says there is no absolute force or acceleration [Einstein, by Close]
27. Natural Reality / B. Modern Physics / 4. Standard Model / d. Mass
20648 Mass is a measure of energy content [Einstein]
27. Natural Reality / C. Space / 6. Space-Time
21232 Space-time arises from the connection between measurements of space and of time [Einstein, by Farmelo]
28. God / C. Attitudes to God / 5. Atheism
7626 I do not believe in a personal God [Einstein]