15 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. |
| 16066 | Additional or removal of any part changes a thing, so people are never the same person [Epicharmus] |
| Full Idea: If you add or take away a pebble, the same number does not remain. If you add to a length or cut off from it, the former measure does not remain. So human beings grow or waste away. Both you and I were, and shall be, other men. | |
| From: Epicharmus (comedies (frags) [c.470 BCE], B02), quoted by Diogenes Laertius - Lives of Eminent Philosophers 03.12 | |
| A reaction: [The original is in dialogue form from a play. The context is a joke about not paying a debt.] Note the early date for this metaphysical puzzle. My new favourite reply is Chrysippus's Idea 16059; identity actually requires change. |
| 436 | A dog seems handsome to another a dog, and even a pig to another pig [Epicharmus] |
| Full Idea: Dog seems very handsome to dog, and ox to ox, and donkey very handsome to donkey, and even pig to pig. | |
| From: Epicharmus (comedies (frags) [c.470 BCE], B05), quoted by (who?) - where? |
| 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! |
| 442 | Pleasures are like pirates - if you are caught they drown you in a sea of pleasures [Epicharmus] |
| Full Idea: Pleasures for mortals are like impious pirates, for the man who is caught by pleasures is immediately drowned in a sea of them. | |
| From: Epicharmus (comedies (frags) [c.470 BCE], B44), quoted by (who?) - where? | |
| A reaction: Not all slopes are slippery. Plenty of people hold themselves to strict rules about alcohol or gambling. People have occasional treats. |
| 440 | Hands wash hands; give that you may get [Epicharmus] |
| Full Idea: The hand washes the hand; give something and you may get something. | |
| From: Epicharmus (comedies (frags) [c.470 BCE], B30), quoted by (who?) - where? |
| 441 | Against a villain, villainy is not a useless weapon [Epicharmus] |
| Full Idea: Against a villain, villainy is not a useless weapon. | |
| From: Epicharmus (comedies (frags) [c.470 BCE], B32), quoted by (who?) - where? |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |
| 439 | God knows everything, and nothing is impossible for him [Epicharmus] |
| Full Idea: Nothing escapes the divine, this you must realise. God himself is our overseer, and nothing is impossible for him. | |
| From: Epicharmus (comedies (frags) [c.470 BCE], B23), quoted by (who?) - where? |
| 443 | Human logos is an aspect of divine logos, and is sufficient for successful living [Epicharmus] |
| Full Idea: Man has calculation, but there is also the divine logos. But human logos is sprung from the divine logos, and it brings to each man his means of life, and his maintenance. | |
| From: Epicharmus (comedies (frags) [c.470 BCE], B57), quoted by (who?) - where? |