21 ideas
| 8679 | We perceive the objects of set theory, just as we perceive with our senses [Gödel] |
| Full Idea: We have something like perception of the objects of set theory, shown by the axioms forcing themselves on us as being true. I don't see why we should have less confidence in this kind of perception (i.e. mathematical intuition) than in sense perception. | |
| From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], p.483), quoted by Michčle Friend - Introducing the Philosophy of Mathematics 2.4 | |
| A reaction: A famous strong expression of realism about the existence of sets. It is remarkable how the ingredients of mathematics spread themselves before the mind like a landscape, inviting journeys - but I think that just shows how minds cope with abstractions. |
| 9942 | Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam] |
| Full Idea: Gödel proved the classical relative consistency of the axiom V = L (which implies the axiom of choice and the generalized continuum hypothesis). This established the full independence of the continuum hypothesis from the other axioms. | |
| From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by Hilary Putnam - Mathematics without Foundations | |
| A reaction: Gödel initially wanted to make V = L an axiom, but the changed his mind. Maddy has lots to say on the subject. |
| 18062 | Set-theory paradoxes are no worse than sense deception in physics [Gödel] |
| Full Idea: The set-theoretical paradoxes are hardly any more troublesome for mathematics than deceptions of the senses are for physics. | |
| From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], p.271), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 03.4 |
| 10868 | The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg] |
| Full Idea: Gödel proved that the Continuum Hypothesis was not inconsistent with the axioms of set theory. | |
| From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by Brian Clegg - Infinity: Quest to Think the Unthinkable Ch.15 |
| 13517 | If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD] |
| Full Idea: Gödel proved that (if set theory is consistent) we cannot refute the continuum hypothesis, and Cohen proved that (if set theory is consistent) we cannot prove it either. | |
| From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by William D. Hart - The Evolution of Logic 10 |
| 10271 | Basic mathematics is related to abstract elements of our empirical ideas [Gödel] |
| Full Idea: Evidently the 'given' underlying mathematics is closely related to the abstract elements contained in our empirical ideas. | |
| From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], Suppl) | |
| A reaction: Yes! The great modern mathematical platonist says something with which I can agree. He goes on to hint at a platonic view of the structure of the empirical world, but we'll let that pass. |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
| From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
| A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |
| 21202 | The strong force has a considerably greater range than the weak force [Martin,BR] |
| Full Idea: The strong nuclear force has a range of 10^-15 m, considerably larger than the range of the weak force. | |
| From: Brian R. Martin (Particle Physics [2011], 01) | |
| A reaction: This is because the bosons transmitting the weak force (W+, W-, W°) are much heavier than the gluons of the strong force. |
| 21211 | If an expected reaction does not occur, that implies a conservation law [Martin,BR] |
| Full Idea: If some reaction is not observed when there is apparently nothing to prevent it occurring, it is an indication that a conservation law is in operation. | |
| From: Brian R. Martin (Particle Physics [2011], 07) |
| 21209 | Electron emit and reabsorb photons, which create and reabsorb virtual electrons and positrons [Martin,BR] |
| Full Idea: In QED an electron constantly emits and reabsorbs virtual photons and these photons constantly create and reabsorb pairs of virtual electrons and positrons, and so on. | |
| From: Brian R. Martin (Particle Physics [2011], 06) | |
| A reaction: 'And so on'! These virtual particles have energy, and hence mass. |
| 21201 | A 'field' is just a region to which points can be assigned in space and time [Martin,BR] |
| Full Idea: The word 'field' is simply a shorthand way of saying that a physical property is assigned to the points of space and time in a region. | |
| From: Brian R. Martin (Particle Physics [2011], 01) | |
| A reaction: This is disappointing because I had begun to think that fields were foundational for modern ontology. Turns out they are operational abstractions (according to Martin). Note that a field extends over time. |
| 21212 | The Higgs field, unlike others, has a nozero value in a state without particles [Martin,BR] |
| Full Idea: The Higgs field has the property of having a nonzero value in a state without particles, the vacuum state. Other fields are assumed to have a value zero in a vacuum state. | |
| From: Brian R. Martin (Particle Physics [2011], 09) | |
| A reaction: This seems to make a big difference to our concept of a field, since it has a measurable reality even when there are no particles. So it isn't just a geometrical frame for locating particles. |
| 21205 | Many physicists believe particles have further structure, if only we could see it [Martin,BR] |
| Full Idea: Although standard particles are assumed to be structureless, many physicists believe that if distances could be probed down to 10^-35 m structures would be discovered. | |
| From: Brian R. Martin (Particle Physics [2011], 01) | |
| A reaction: Such probing is said to be probably impossible. And does the division then come to a halt? Aristotle's meditations on this are not irrelevant. |
| 21203 | Uncertainty allows very brief violations of energy conservation - even shorter with higher energies [Martin,BR] |
| Full Idea: The uncertainty principle states that energy conservation can be violated, but only for a limited period of time. As the energy violation increases, the time period within which 'borrowed' energy has to be 'paid back' decreases. | |
| From: Brian R. Martin (Particle Physics [2011], 01) | |
| A reaction: This is the only reason modern physicists ever seem to mention the uncertainty principle. You can ask why this debt must be paid, but it seems to be hidden where the laws of physics may not even apply. |
| 21207 | The Exclusion Principle says no two fermions occupy the same state, with the same numbers [Martin,BR] |
| Full Idea: The 'exclusion principle' initially stated that no two electrons in a system could simultaneously occupy the same quantum state and thus have the same set of quantum numbers. The principle actually applies to all fermions, but not to bosons. | |
| From: Brian R. Martin (Particle Physics [2011], 02) | |
| A reaction: This principle is said to be at the root of atomic structure, making each element unique. What exactly is a 'system'? Why does this principle hold? How do you ensure two women don't wear the same dress at a party? |
| 21204 | The standard model combines theories of strong interaction, and electromagnetic and weak interaction [Martin,BR] |
| Full Idea: As presently formulated, the standard model is two theories. One operates in the sector of strong interaction, and the other in the sector of the electromagnetic and weak interactions. | |
| From: Brian R. Martin (Particle Physics [2011], 01) | |
| A reaction: The first is Quantum Chomodynamics (QCD). The second is Quantum Electrodynamics (QED). Interesting that the weak interaction is included in the latter, which (I take it) means there is an electro-weak union. Interactions are the heart of the model. |
| 21208 | Eletrons don't literally 'spin', because they are point-like [Martin,BR] |
| Full Idea: The picture of a particle spinning like a top is sometime useful, but it is not consistent with the idea of the electron being point-like. In fact there is no analogy for spin in non-quantum physics. | |
| From: Brian R. Martin (Particle Physics [2011], 02) | |
| A reaction: If we take this stuff literally then it blow traditional metaphysics to bits, because an electron has properties without being a substance. In what sense can an electron 'have' properties if it is a point? In interactions they cease to be points. Eh? |
| 21210 | Virtual particles surround any charged particle [Martin,BR] |
| Full Idea: A cloud of virtual particles always surrounds a charged particle. | |
| From: Brian R. Martin (Particle Physics [2011], 06) | |
| A reaction: Here's a nice fact for aspiring Buddhists to meditate on. |
| 21206 | The properties of a particle are determined by its quantum numbers and its mass [Martin,BR] |
| Full Idea: In quantum theory, the full set of quantum numbers defines the state of the particle and, along with its mass, determines its properties. | |
| From: Brian R. Martin (Particle Physics [2011], 02) |
| 21213 | String theory only has one free parameter (tension) - unlike the standard model with 19 [Martin,BR] |
| Full Idea: Unlike the standard model, with its 19 free parameters (including the masses of quarks, coupling constants and mixing angles), string theories have a single free paramater: the string tension. | |
| From: Brian R. Martin (Particle Physics [2011], 10) | |
| A reaction: This must be one feature in favour of string theory, despite its problems. |
| 21200 | An 'element' is what cannot be decomposed by chemistry [Martin,BR] |
| Full Idea: In the modern sense 'element' means a substance that cannot be decomposed by the methods of chemistry. | |
| From: Brian R. Martin (Particle Physics [2011], 01) |