12 ideas
| 17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
| Full Idea: The first-order Sermelo-Fraenkel axiomatisation is highly non-categorical. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1213) |
| 17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
| Full Idea: The non-categoricity of the axioms which Zermelo demonstrates reveals an incompleteness of a sort, ....for this seems to show that there will always be a set (indeed, an unending sequence) that the basic axioms are incapable of revealing to be sets. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1215) | |
| A reaction: Hallett says the incompleteness concerning Zermelo was the (transfinitely) indefinite iterability of the power set operation (which is what drives the 'iterative conception' of sets). |
| 17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
| Full Idea: Unlike earlier writers (such as Fraenkel), Zermelo clearly allows that there might be ur-elements (that is, objects other than the empty set, which have no members). Indeed he sees in this the possibility of widespread application of set-theory. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1217) |
| 1507 | We don't have time for infinite quantity, but we do for infinite divisibility, because time is also divisible [Aristotle on Zeno of Elea] |
| Full Idea: Although it is impossible to make contact in a finite time with things that are infinite in quantity, it is possible to do so with things that are infinitely divisible, since the time itself is also infinite in this way. | |
| From: comment on Zeno (Elea) (fragments/reports [c.450 BCE], A25) by Aristotle - Physics 233a21 |
| 5109 | The fast runner must always reach the point from which the slower runner started [Zeno of Elea, by Aristotle] |
| Full Idea: Zeno's so-called 'Achilles' claims that the slowest runner will never be caught by the fastest runner, because the one behind has first to reach the point from which the one in front started, and so the slower one is bound always to be in front. | |
| From: report of Zeno (Elea) (fragments/reports [c.450 BCE]) by Aristotle - Physics 239b14 | |
| A reaction: The point is that the slower runner will always have moved on when the faster runner catches up with the starting point. We must understand how humble the early Greeks felt when they confronted arguments like this. It was like a divine revelation. |
| 1512 | Zeno is wrong that one grain of millet makes a sound; why should one grain achieve what the whole bushel does? [Aristotle on Zeno of Elea] |
| Full Idea: Zeno is wrong in arguing that the tiniest fragment of millet makes a sound; there is no reason why the fragment should be able to move in any amount of time the air which the whole bushel moved as it fell. | |
| From: comment on Zeno (Elea) (fragments/reports [c.450 BCE], A29) by Aristotle - Physics 250a16 |
| 1508 | Zeno's arrow paradox depends on the assumption that time is composed of nows [Aristotle on Zeno of Elea] |
| Full Idea: Zeno's third argument claims that a moving arrow is still. Here the conclusion depends on assuming that time is composed of nows; if this assumption is not granted, the argument fails. | |
| From: comment on Zeno (Elea) (fragments/reports [c.450 BCE], A27?) by Aristotle - Physics 239b5 |
| 17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
| Full Idea: In 1938, Gödel showed that ZF plus the General Continuum Hypothesis is consistent if ZF is. Cohen showed that ZF and not-GCH is also consistent if ZF is, which finally shows that neither GCH nor ¬GCH can be proved from ZF itself. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1217) |
| 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? |
| 454 | If there are many things they must have a finite number, but there must be endless things between them [Zeno of Elea] |
| Full Idea: It things are many, they can't be more or less than they are, so they must be finite, but also there must be endless things between each thing, so they must be infinite. | |
| From: Zeno (Elea) (fragments/reports [c.450 BCE], B3), quoted by Simplicius - On Aristotle's 'Physics' 140.29 |
| 455 | That which moves, moves neither in the place in which it is, nor in that in which it is not [Zeno of Elea] |
| Full Idea: That which moves, moves neither in the place in which it is, nor in that in which it is not. | |
| From: Zeno (Elea) (fragments/reports [c.450 BCE], B4), quoted by (who?) - where? |
| 1511 | If everything is in a place, what is the place in? Place doesn't exist [Zeno of Elea, by Simplicius] |
| Full Idea: If there is a place it will be in something, because everything that exists is in something. But what is in something is in a place. Therefore the place will be in a place, and so on ad infinitum. Therefore, there is no such thing as place. | |
| From: report of Zeno (Elea) (fragments/reports [c.450 BCE], B3) by Simplicius - On Aristotle's 'Physics' 9.562.3 |