11 ideas
| 15717 | Using Choice, you can cut up a small ball and make an enormous one from the pieces [Kaplan/Kaplan] |
| Full Idea: The problem with the Axiom of Choice is that it allows an initiate (by an ingenious train of reasoning) to cut a golf ball into a finite number of pieces and put them together again to make a globe as big as the sun. | |
| From: R Kaplan / E Kaplan (The Art of the Infinite [2003], 9) | |
| A reaction: I'm not sure how this works (and I think it was proposed by the young Tarski), but it sounds like a real problem to me, for all the modern assumptions that Choice is fine. |
| 15712 | 1 and 0, then add for naturals, subtract for negatives, divide for rationals, take roots for irrationals [Kaplan/Kaplan] |
| Full Idea: You have 1 and 0, something and nothing. Adding gives us the naturals. Subtracting brings the negatives into light; dividing, the rationals; only with a new operation, taking of roots, do the irrationals show themselves. | |
| From: R Kaplan / E Kaplan (The Art of the Infinite [2003], 1 'Mind') | |
| A reaction: The suggestion is constructivist, I suppose - that it is only operations that produce numbers. They go on to show that complex numbers don't quite fit the pattern. |
| 15711 | The rationals are everywhere - the irrationals are everywhere else [Kaplan/Kaplan] |
| Full Idea: The rationals are everywhere - the irrationals are everywhere else. | |
| From: R Kaplan / E Kaplan (The Art of the Infinite [2003], 1 'Nameless') | |
| A reaction: Nice. That is, the rationals may be dense (you can always find another one in any gap), but the irrationals are continuous (no gaps). |
| 15714 | 'Commutative' laws say order makes no difference; 'associative' laws say groupings make no difference [Kaplan/Kaplan] |
| Full Idea: The 'commutative' laws say the order in which you add or multiply two numbers makes no difference; ...the 'associative' laws declare that regrouping couldn't change a sum or product (e.g. a+(b+c)=(a+b)+c ). | |
| From: R Kaplan / E Kaplan (The Art of the Infinite [2003], 2 'Tablets') | |
| A reaction: This seem utterly self-evident, but in more complex systems they can break down, so it is worth being conscious of them. |
| 15715 | 'Distributive' laws say if you add then multiply, or multiply then add, you get the same result [Kaplan/Kaplan] |
| Full Idea: The 'distributive' law says you will get the same result if you first add two numbers, and then multiply them by a third, or first multiply each by the third and then add the results (i.e. a · (b+c) = a · b + a · c ). | |
| From: R Kaplan / E Kaplan (The Art of the Infinite [2003], 2 'Tablets') | |
| A reaction: Obviously this will depend on getting the brackets right, to ensure you are indeed doing the same operations both ways. |
| 9295 | Not only substances have attributes; events, actions, states and qualities can have them [Teichmann] |
| Full Idea: It is not true that only substances have attributes; events, actions, states and qualities can all be characterized. | |
| From: Jenny Teichmann (The Mind and the Soul [1974], Ch.2) | |
| A reaction: This is why it is so important to distinguish the actual properties in nature from those that can be fancifully hypothesized by a linguistic being. Is there any limit to the possible number of levels of meta-properties? |
| 15713 | The first million numbers confirm that no number is greater than a million [Kaplan/Kaplan] |
| Full Idea: The claim that no number is greater than a million is confirmed by the first million test cases. | |
| From: R Kaplan / E Kaplan (The Art of the Infinite [2003], 2 'Intro') | |
| A reaction: Extrapolate from this, and you can have as large a number of cases as you could possibly think of failing to do the inductive job. Love it! Induction isn't about accumulations of cases. It is about explanation, which is about essence. Yes! |
| 20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
| Full Idea: There are six 'reductive levels' in science: social groups, (multicellular) living things, cells, molecules, atoms, and elementary particles. | |
| From: report of H.Putnam/P.Oppenheim (Unity of Science as a Working Hypothesis [1958]) by Peter Watson - Convergence 10 'Intro' | |
| A reaction: I have the impression that fields are seen as more fundamental that elementary particles. What is the status of the 'laws' that are supposed to govern these things? What is the status of space and time within this picture? |
| 9293 | Body-spirit interaction ought to result in losses and increases of energy in the material world [Teichmann] |
| Full Idea: Since the interaction of bodies themselves involves energy-flow, it looks as if interaction between body and spirit ought to result in losses and increases of energy in the material world. | |
| From: Jenny Teichmann (The Mind and the Soul [1974], Ch.2) | |
| A reaction: A nice statement of an important argument. It forces the dualist to go the whole way, asserting that not only is the mind immaterial, but that it can be active without energy, and cover its traces in the physical world. Doesn't look good. |
| 9294 | No individuating marks distinguish between Souls [Teichmann] |
| Full Idea: There are no individuating marks which could serve to differentiate one Soul from another. | |
| From: Jenny Teichmann (The Mind and the Soul [1974], Ch.2) | |
| A reaction: Presumably they could have at least much identity as two different electrons (if they are in space-time?). It is hard to see why anyone would be interested in their 'own' immortality, if loss of all individuality was a condition. |
| 9292 | The Soul has no particular capacity (in the way thinking belongs to the mind) [Teichmann] |
| Full Idea: On the whole, the Soul has no capacities which belong to it pre-eminently in the way that thinking 'belongs' to the mind. | |
| From: Jenny Teichmann (The Mind and the Soul [1974], Ch.1) | |
| A reaction: There are no phenomena which have to be saved by postulating a soul. It lacks a function within a human being, but it has a crucial function within a large theological picture. |