62 ideas
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| Full Idea: While truth can be defined in a relative way, as truth in one particular model, a non-relative notion of truth is implied, as truth in all models. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: [The article is actually discussing arithmetic] This idea strikes me as extremely important. True-in-all-models is usually taken to be tautological, but it does seem to give a more universal notion of truth. See semantic truth, Tarski, Davidson etc etc. |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| Full Idea: In standard ZFC ('Zermelo-Fraenkel with Choice') set theory we deal merely with pure sets, not with additional urelements. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: The 'urelements' would the actual objects that are members of the sets, be they physical or abstract. This idea is crucial to understanding philosophy of mathematics, and especially logicism. Must the sets exist, just as the urelements do? |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| Full Idea: In second-order logic there are three kinds of variables, for objects, for functions, and for predicates or sets. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: It is interesting that a predicate seems to be the same as a set, which begs rather a lot of questions. For those who dislike second-order logic, there seems nothing instrinsically wicked in having variables ranging over innumerable multi-order types. |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| Full Idea: 'Analysis' is the theory of the real numbers. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: 'Analysis' began with the infinitesimal calculus, which later built on the concept of 'limit'. A continuum of numbers seems to be required to make that work. |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| Full Idea: The difficulties for a nominalistic mereological approach to arithmetic is that an infinity of physical objects are needed (space-time points? strokes?), and it must define functions, such as 'successor'. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: Many ontologically austere accounts of arithmetic are faced with the problem of infinity. The obvious non-platonist response seems to be a modal or if-then approach. To postulate infinite abstract or physical entities so that we can add 3 and 2 is mad. |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| Full Idea: A common formulation of Peano Arithmetic uses 2nd-order logic, the constant '1', and a one-place function 's' ('successor'). Three axioms then give '1 is not a successor', 'different numbers have different successors', and induction. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: This is 'second-order' Peano Arithmetic, though it is at least as common to formulate in first-order terms (only quantifying over objects, not over properties - as is done here in the induction axiom). I like the use of '1' as basic instead of '0'! |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| Full Idea: The merits of basing an account of mathematics on set theory are that it allows for a comprehensive unified treatment of many otherwise separate branches of mathematics, and that all assumption, including existence, are explicit in the axioms. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: I am forming the impression that set-theory provides one rather good model (maybe the best available) for mathematics, but that doesn't mean that mathematics is set-theory. The best map of a landscape isn't a landscape. |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| Full Idea: Structuralism has emerged from the development of abstract algebra (such as group theory), the creation of axiom systems, the introduction of set theory, and Bourbaki's encyclopaedic survey of set theoretic structures. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: In other words, mathematics has gradually risen from one level of abstraction to the next, so that mathematical entities like points and numbers receive less and less attention, with relationships becoming more prominent. |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| Full Idea: Relativist Structuralism simply picks one particular model of axiomatised arithmetic (i.e. one particular interpretation that satisfies the axioms), and then stipulates what the elements, functions and quantifiers refer to. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: The point is that a successful model can be offered, and it doesn't matter which one, like having any sort of aeroplane, as long as it flies. I don't find this approach congenial, though having a model is good. What is the essence of flight? |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| Full Idea: The term 'structure' has two uses in the literature, what can be called 'particular structures' (which are particular relational systems), but also what can be called 'universal structures' - what particular systems share, or what they instantiate. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §6) | |
| A reaction: This is a very helpful distinction, because it clarifies why (rather to my surprise) some structuralists turn out to be platonists in a new guise. Personal my interest in structuralism has been anti-platonist from the start. |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| Full Idea: According to 'pattern' structuralism, what we study are not the various particular isomorphic models of arithmetic, but something in addition to them: a corresponding pattern. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §7) | |
| A reaction: Put like that, we have to feel a temptation to wield Ockham's Razor. It's bad enough trying to give the structure of all the isomorphic models, without seeking an even more abstract account of underlying patterns. But patterns connect to minds.. |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| Full Idea: There are four main variants of structuralism in the philosophy of mathematics - formalist structuralism, relativist structuralism, universalist structuralism (with modal variants), and pattern structuralism. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §9) | |
| A reaction: I'm not sure where Chihara's later book fits into this, though it is at the nominalist end of the spectrum. Shapiro and Resnik do patterns (the latter more loosely); Hellman does modal universalism; Quine does the relativist version. Dedekind? |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| Full Idea: Formalist Structuralism endorses structural methodology in mathematics, but rejects semantic and metaphysical problems as either meaningless, or purely formal, or as inference relations. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §3) | |
| A reaction: [very compressed] I find the third option fairly congenial, certainly in preference to rather platonist accounts of structuralism. One still needs to distinguish the mathematical from the non-mathematical in the inference relations. |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| Full Idea: It is tempting to take a modal turn, and quantify over all possible objects, because if there are only a finite number of actual objects, then there are no models (of the right sort) for Peano Arithmetic, and arithmetic is vacuously true. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: [compressed; Geoffrey Hellman is the chief champion of this view] The article asks whether we are not still left with the puzzle of whether infinitely many objects are possible, instead of existent. |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| Full Idea: Universalist Structuralism is a semantic thesis, that an arithmetical statement asserts a universal if-then statement. We build an if-then statement (using quantifiers) into the structure, and we generalise away from any one particular model. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: There remains the question of what is distinctively mathematical about the highly generalised network of inferences that is being described. Presumable the axioms capture that, but why those particular axioms? Russell is cited as an originator. |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| Full Idea: Universalist Structuralism is eliminativist about abstract objects, in a distinctive form. Instead of treating the base element (say '1') as an ambiguous referring expression (the Relativist approach), it is a variable which is quantified out. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: I am a temperamental eliminativist on this front (and most others) so this is tempting. I am also in love with the concept of a 'variable', which I take to be utterly fundamental to all conceptual thought, even in animals, and not just a trick of algebra. |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| Full Idea: Relativist Structuralism must first assume the existence of an infinite set, otherwise there would be no model to pick, and arithmetical terms would have no reference. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: See Idea 10169 for Relativist Structuralism. They point out that ZFC has an Axiom of Infinity. |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| Full Idea: One way for a nominalist to reject appeal to all abstract objects, including sets, is to only appeal to nominalistically acceptable objects, including mereological sums. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: I'm suddenly thinking that this looks very interesting and might be the way to go. The issue seems to be whether mereological sums should be seen as constrained by nature, or whether they are unrestricted. See Mereology in Ontology...|Intrinsic Identity. |
| 20575 | Socialist economics needs a very strong central power, virtually leading to slavery [Hayek, by Oksala] |
| Full Idea: Hayek argues that socialist economic equality can only be effectively put into practice by a strong, dictatorial government. Planning has to be imposed by force, and centralised economic power creates a dependency scarcely distingishable from slavery. | |
| From: report of F.A. Hayek (The Road to Serfdom [1944]) by Johanna Oksala - Political Philosophy: all that matters Ch.7 | |
| A reaction: I don't see much sign of the post-war British Labour government being anything like this, even though they nationalised the railways and introduce a national health service. Hayek was mesmerised by Russia. |
| 22599 | Hayek was a liberal, but mainly concerned with market freedom [Hayek, by Dunt] |
| Full Idea: Hayek was a liberal (rather than a conservative), …but the individual liberty he cared about was not diversity or freedom of thought. It was freedom to operate in the market. | |
| From: report of F.A. Hayek (The Road to Serfdom [1944]) by Ian Dunt - How to be a Liberal 7 | |
| A reaction: There seems to have been a drift from obsession with freedom to participate in the market, towards the less plausible idea that market forces can solve everything. I once met someone who was convinced the market could solve environmental problems. |
| 22600 | Impeding the market is likely to lead to extensive state control [Hayek] |
| Full Idea: Once the free working of the market is impeded beyond a certain degree, the planner will be forced to extend his controls until they become all comprehensive. | |
| From: F.A. Hayek (The Road to Serfdom [1944]), quoted by Ian Dunt - How to be a Liberal 7 | |
| A reaction: Hayek was terrified of totalitarianism (quite reasonably), but fascism and communism don't seem to have arisen in the way he describes. I'm not clear why sensible intervention in the market should slide down into nightmare. |
| 21167 | Gravity is unusual, in that it always attracts and never repels [New Sci.] |
| Full Idea: Gravity is an odd sort of force, not least because it only ever works one way. Electromagnetism attracts and repels, but with gravity there are only positive masses always attract. | |
| From: New Scientist writers (Why the Universe Exists [2017], 05) | |
| A reaction: This leads to speculation about anti-gravity, but there is no current evidence for it. |
| 21176 | In the Big Bang general relativity fails, because gravity is too powerful [New Sci.] |
| Full Idea: At the origin of the universe gravity becomes so powerful that general relativity breaks down, giving infinity for every answer. | |
| From: New Scientist writers (Why the Universe Exists [2017], 09) |
| 21147 | Quantum electrodynamics incorporates special relativity and quantum mechanics [New Sci.] |
| Full Idea: The theory of electromagnetism that incorporates both special relativity and quantum mechanics is quantum electrodynamics (QED). It was developed by Dirac and others, and perfected in the 1940s. The field is a collection of quanta. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) | |
| A reaction: This builds on Maxwell's earlier classical theory. QED is said to be the best theory in all of physics. |
| 21155 | Photons have zero rest mass, so virtual photons have infinite range [New Sci.] |
| Full Idea: Photons, the field quanta of the electromagnetic force, have zero rest mass, so virtual photons can exist indefinitely and travel any distance, meaning the electromagnetic force has an infinite range. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) |
| 21161 | In the standard model all the fundamental force fields merge at extremely high energies [New Sci.] |
| Full Idea: The standard model says that the fields of all fundamental forces should merge at extremely high energies, meaning there is also a unified, high-energy field out there. | |
| From: New Scientist writers (Why the Universe Exists [2017], 03) | |
| A reaction: Not quite sure what 'out there' means. This idea is linked to the quest for dark energy. Is this unified phenomenon only found near the Big Bang? |
| 21146 | Electrons move fast, so are subject to special relativity [New Sci.] |
| Full Idea: Electrons in atoms move at high speeds, so they are subject to the special theory of relativity. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) | |
| A reaction: Presumably this implies a frame of reference, and defining velocities relative to other electrons. Plus time-dilation? |
| 21148 | The strong force is repulsive at short distances, strong at medium, and fades at long [New Sci.] |
| Full Idea: Experiments show that the nuclear binding force does not follow the inverse square law, but is repulsive at the shortest distances, then attractive, then fades away rapidly as distance increases further. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) | |
| A reaction: So how does it know when to be strong? Magnetism doesn't vary according to distance, and light obeys the inverse square law, because everything is decided at the output. - See 21151 for an explanation. It interacts after departure. |
| 21152 | The strong force binds quarks tight, and the nucleus more weakly [New Sci.] |
| Full Idea: The strong force holds quarks together within protons and neutrons, and residual effects of the strong force bind protons (whch repel one another) and neutrons together in nuclei. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) | |
| A reaction: So the force is much stronger between quarks (which can't escape), and only 'residual' in the nucleus, which must be why smashing nuclei open is fairly easy, but smashin protons open needs higher energies. |
| 21151 | Gluons, the particles carrying the strong force, interact because of their colour charge [New Sci.] |
| Full Idea: In QCD the particles that carry the strong force are called gluons. ...Gluons carry their own colour charges, so they can interact with each other (unlike photons) via the strong nuclear force (which limits the range of the force). | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) | |
| A reaction: So the force varies in strength with distance because the degree of separation among the spreading gluons varies? The force has one range, which is squashed when close, effective at medium, and loses touch with distance? |
| 21150 | Three different colours of quark (as in the proton) can cancel out to give no colour [New Sci.] |
| Full Idea: Just as mixing three colours of light gives white, so the three colour charges of quarks can add up to give no colour. This is what happens in the proton, which always contains one blue-charge quark, one red and one green. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) |
| 21142 | Classifying hadrons revealed two symmetry patterns, produced by three basic elements [New Sci.] |
| Full Idea: Classifying hadrons according to charge, strangeness and spin revealed patterns of eight and ten particles (SU(3) symmetery). The mathematics then showed that these are built from a basic group of only three members. | |
| From: New Scientist writers (Why the Universe Exists [2017], 01) |
| 21143 | Quarks in threes can build hadrons with spin ½ or with spin 3/2 [New Sci.] |
| Full Idea: Quarks in threes can build hadrons with spin ½ (proton, duu; neutron, ddu; lambda, dus), or with spin 3/2 (omega-minus, sss). | |
| From: New Scientist writers (Why the Universe Exists [2017], 01) |
| 21154 | Three particles enable the weak force: W+ and W- are charged, and Z° is not [New Sci.] |
| Full Idea: The quantum field theory of the weak force needs three carrier particles. The W+ and W- are electrically charged, and enable the weak force to change the charge of a particle. The Z° is uncharged, and mediates weak interactions with no charge change. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) |
| 21145 | The four fundamental forces (gravity, electromagnetism, weak and strong) are the effects of particles [New Sci.] |
| Full Idea: There are four fundamental forces: gravity, electromagnetism, and the weak and strong nuclear forces. Particle physics has so far failed to encompass the force of gravity. The forces that shape our world are themselves the effect of particles. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) | |
| A reaction: Philosophers must take note of the fact that forces are the effects of particles. Common sense pictures forces imposed on particles, like throwing a tennis ball, but the particles are actually the sources of force. The gravitino is speculative. |
| 21153 | The weak force explains beta decay, and the change of type by quarks and leptons [New Sci.] |
| Full Idea: The beta decay of the neutron (into a proton, an electron and an antineutrino) can be described in terms of the weak force, which is 10,000 times weaker than the strong force. It allows the quarks and leptons to change from one type to another. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) | |
| A reaction: This seems to make it the key source of radioactivity. Perhaps it should be called the Force of Change? |
| 21156 | The weak force particles are heavy, so the force has a short range [New Sci.] |
| Full Idea: The W and Z particles are heavy, and so cannot travel far from their parents. The weak force therefore has a very short range. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) |
| 21164 | Why do the charges of the very different proton and electron perfectly match up? [New Sci.] |
| Full Idea: Why do the proton and electron charges mirror each other so perfectly when they are such different particles? | |
| From: New Scientist writers (Why the Universe Exists [2017], 04) | |
| A reaction: We seem to have reached a common stage in science, where we have a wonderful descriptive model (the Standard Model), but we cannot explain why what is modelled is the way it is. |
| 21170 | The Standard Model cannot explain dark energy, survival of matter, gravity, or force strength [New Sci.] |
| Full Idea: The standard model cannot explain dark matter, or dark energy (which is causing expansion to accelerate). It cannot explain how matter survived annihilation with anti-matter in the Big Bang, or explain gravity. The strength of each force is unexplained. | |
| From: New Scientist writers (Why the Universe Exists [2017], 06) | |
| A reaction: [compressed] P.141 adds that the model has to be manipulated to keep the Higgs mass low enough. |
| 21158 | Fermions, with spin ½, are antisocial, and cannot share quantum states [New Sci.] |
| Full Idea: Particles with half-integer spin, such as electrons, protons or quarks (all spin ½) have an asymmetry in their wavefunction that makes them antisocial. These particles (Fermions) cannot share a quantum state. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) | |
| A reaction: This is said to explain the complexity of matter, with carbon an especially good example. |
| 21165 | Spin is akin to rotation, and is easily measured in a magnetic field [New Sci.] |
| Full Idea: Spin is a quantum-mechanical property of a particle akin to rotation about its own axis. Particles of different spins respond to magnetic fields in different ways, so it is a relatively easy thing to measure. | |
| From: New Scientist writers (Why the Universe Exists [2017], 04) | |
| A reaction: I wish I knew what 'akin to' meant. Maybe particles are not rigid bodies, so they cannot spin in the way a top can? It must be an electro-magnetic property. Idea 21166 says spin has two possible directions. |
| 21149 | Quarks have red, green or blue colour charge (akin to electric charge) [New Sci.] |
| Full Idea: Quarks have a property akin to electric charge, called their colour charge. It comes in three varieties, red, green and blue. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) |
| 21157 | Particles are spread out, with wave-like properties, and higher energy shortens the wavelength [New Sci.] |
| Full Idea: Particles obeying the laws of quantum mechanics have wave-like properties - moving as a quantum wave-function, spread out in space, with wavelengths that get shorter as their energy increases. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) | |
| A reaction: Thus X-rays are dangerous, but long wave radio is not. De Broglie's equation. |
| 21140 | Spin is a built-in ration of angular momentum [New Sci.] |
| Full Idea: Spin is a built-in ration of angular momentum. | |
| From: New Scientist writers (Why the Universe Exists [2017], 01) | |
| A reaction: As an outsider all I can do is collect descriptions of such properties from the experts. The experts appear to be happy with the numbers inserted in the equations. |
| 21163 | The mass of protons and neutrinos is mostly binding energy, not the quarks [New Sci.] |
| Full Idea: Most of a proton's or neutrino's mass is contained in the interaction energies of a 'sea' of quarks, antiquarks and gluons that bind them. ...You might feel solid, but in fact you're 99 per cent binding energy. | |
| From: New Scientist writers (Why the Universe Exists [2017], 04) | |
| A reaction: This is because energy is equivalent to mass (although gluons are said to have energy but no mass - puzzled by that). This is a fact which needs a bit of time to digest. Once you've grasped we are full of space, you still have understood it. |
| 21168 | Gravitional mass turns out to be the same as inertial mass [New Sci.] |
| Full Idea: There are two types of mass: gravitational mass quantifies how strongly an object feels gravity, while inertial mass quantifies an object's resistance to acceleration. There proven equality is at the heart of General Relativity. | |
| From: New Scientist writers (Why the Universe Exists [2017], 05) | |
| A reaction: It had never occurred to me that these two values might come apart. Doesn't their identical values demonstrate that they are in fact the same thing? Sounds like Hesperus/Phosphorus to me. The book calls it 'mysterious'. |
| 21138 | Neutrons are slightly heavier than protons, and decay into them by emitting an electron [New Sci.] |
| Full Idea: The proton (938.3 MeV) is lighter than the neutron (939.6 MeV) and does not decay, but the heavier neutron can change into a proton by emitting an electron. (If you gather a bucketful of neutrons, after ten minutes only half of them would be left). | |
| From: New Scientist writers (Why the Universe Exists [2017], 01) | |
| A reaction: Protons are more or less eternal, but some theories have them decaying after billions of years. Smashing protons together is a popular pastime for physicists. |
| 21144 | Top, bottom, charm and strange quarks quickly decay into up and down [New Sci.] |
| Full Idea: Quarks can change from one variety to another, and the top, bottom, charm and strange quarks all rapidly decay to the up and down quarks of everyday life. | |
| From: New Scientist writers (Why the Universe Exists [2017], 01) | |
| A reaction: Hence the universe is largely composed of up and down quarks and electrons. The other quarks seem to be more important in the early universe. |
| 21141 | Neutrinos were proposed as the missing energy in neutron beta decay [New Sci.] |
| Full Idea: When a neutron decays into a proton and an electron (one example of beta decay), the energy of the two particles adds up to less than the starting energy of the neutron. Pauli and Fermi concluded that a neutrino (an electron antineutrino) is emitted. | |
| From: New Scientist writers (Why the Universe Exists [2017], 01) | |
| A reaction: I'm wondering how much they could infer about the nature of the new particle (which was only confirmed 26 years later). |
| 21169 | Only neutrinos spin anticlockwise [New Sci.] |
| Full Idea: Neutrinos are the only particles that seem just to spin anticlockwise. | |
| From: New Scientist writers (Why the Universe Exists [2017], 06) | |
| A reaction: See 21166. Anti-neutrino spin is the opposite way. Which way up do you hold the neutrino when pronouncing that it is 'anticlockwise? |
| 21166 | Standard antineutrinos have opposite spin and opposite lepton number [New Sci.] |
| Full Idea: In the conventional standard model neutrinos have antiparticles - which spin in the opposite direction, and have the opposite lepton number. | |
| From: New Scientist writers (Why the Universe Exists [2017], 05) |
| 21171 | The symmetry of unified electromagnetic and weak forces was broken by the Higgs field [New Sci.] |
| Full Idea: In the very early hot universe the electromagnetic and weak nuclear forces were one. The early emergence of the Higgs field led to electroweak symmetry breaking. The W and Z bosons grew fat, and the photon raced away mass-free. | |
| From: New Scientist writers (Why the Universe Exists [2017], 07) |
| 21175 | String theory might be tested by colliding strings to make bigger 'stringballs' [New Sci.] |
| Full Idea: A future accelerator might create 'stringballs', when two strings slam into one another and, rather than combining to form a stretched string, make a tangled ball. Finding them would prove string theory. | |
| From: New Scientist writers (Why the Universe Exists [2017], 08) | |
| A reaction: This is the only possible test for string theory which I have seen suggested. How do you 'slam strings together'? |
| 21177 | String theory offers a quantum theory of gravity, by describing the graviton [New Sci.] |
| Full Idea: String theory works as a quantum theory of gravity because string vibrations can describe gravitons, the hypothetical carriers of the gravitational force. | |
| From: New Scientist writers (Why the Universe Exists [2017], 09) | |
| A reaction: Presumably the main aim of a quantum theory of gravity is to include gravitons within particle theory. This idea has to be a main attraction of string theory. Compare Idea 21166. |
| 21178 | String theory is now part of 11-dimensional M-Theory, involving p-branes [New Sci.] |
| Full Idea: String theory has now been incorporated into Ed Witten's M-Theory, which is a mathematical framework that lives in 11-dimensional space-time, involving higher-dimensional objects called p-branes, of which strings are a special case. | |
| From: New Scientist writers (Why the Universe Exists [2017], 09) |
| 21179 | Supersymmetric string theory can be expressed using loop quantum gravity [New Sci.] |
| Full Idea: String theory, together with its supersymmetric particles, has recently been rewritten in the space-time described by loop quantum gravity (which says that space-time ust be made from finite chunks). | |
| From: New Scientist writers (Why the Universe Exists [2017], 09) |
| 21159 | Supersymmetry has extra heavy bosons and heavy fermions [New Sci.] |
| Full Idea: Supersymmetry posits heavy boson partners for all fermions, and heavy fermions for all bosons. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) | |
| A reaction: The main Fermions are electron, proton and quark. Do extra bosons imply extra forces? Peter Higgs favours supersymmetry. |
| 21162 | Only supersymmetry offers to incorporate gravity into the scheme [New Sci.] |
| Full Idea: Peter Higgs says he is a fan of supersymmetry, largely because it seems to be the only route by which gravity can be brought into the scheme. | |
| From: New Scientist writers (Why the Universe Exists [2017], 03) | |
| A reaction: Peter Higgs proposed the Higgs boson (now discovered). This seems a very good reason to favour supersymmetry. A grand unified theory that left out gravity doesn't seem to be unified quite grandly enough. |
| 21172 | The evidence for supersymmetry keeps failing to appear [New Sci.] |
| Full Idea: The old front-runner theory, supersymmetry, has fallen from grace as the Large Hadron Collider keeps failing to find it. | |
| From: New Scientist writers (Why the Universe Exists [2017], 07) |
| 21173 | Supersymmetry says particles and superpartners were unities, but then split [New Sci.] |
| Full Idea: The key to supersymmetry is that in the high-energy soup of the early universe, particles and their superpartners were indistinguishable. Each pair existed as single massless entities. With expansion and cooling this supersymmetry broke down. | |
| From: New Scientist writers (Why the Universe Exists [2017], 08) |
| 21160 | The Higgs field means even low energy space is not empty [New Sci.] |
| Full Idea: The point about the Higgs field is that even the lowest-energy state of space is not empty. | |
| From: New Scientist writers (Why the Universe Exists [2017], 02) | |
| A reaction: So where is the Higgs field located? Even if there is no utterly empty space, the concept of location implies a concept of space more basic than the fields (about 16, I gather) which occupy it. You can't describe movement without a concept of location. |
| 21174 | Dark matter must have mass, to produce gravity, and no electric charge, to not reflect light [New Sci.] |
| Full Idea: Whatever dark matter is made of, it must have mass to feel and generate gravity; but no electric charge, so it does not interact with light. The leading candidate has been the weakly interacting massive particle (WIMP), much heavier than a proton. | |
| From: New Scientist writers (Why the Universe Exists [2017], 08) | |
| A reaction: Note that it must 'generate' gravity. The idea of a law of gravity which is externally imposed on matter is long dead. Heavy WIMPs have not yet been detected. |