15 ideas
3338 | Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn] |
13949 | All models of Peano axioms are isomorphic, so the models all seem equally good for natural numbers [Cartwright,R on Peano] |
18113 | PA concerns any entities which satisfy the axioms [Peano, by Bostock] |
17634 | Peano axioms not only support arithmetic, but are also fairly obvious [Peano, by Russell] |
5897 | 0 is a non-successor number, all successors are numbers, successors can't duplicate, if P(n) and P(n+1) then P(all-n) [Peano, by Flew] |
15653 | We can add Reflexion Principles to Peano Arithmetic, which assert its consistency or soundness [Halbach on Peano] |
17635 | Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
24162 | Planck introduced the idea that energy can be quantized [Baggott] |
21731 | Fields can be 'scalar', or 'vector', or 'tensor', or 'spinor' [Baggott] |
21730 | A 'field' is a property with a magnitude, distributed across all of space and time [Baggott] |
24163 | Free electrons have clouds of virtual particles, arising from field interaction [Baggott] |
24161 | Thermodynamics sees nature as a continuous flow of energy, as radiation and as substance [Baggott] |
21732 | The current standard model requires 61 particles [Baggott] |
24160 | Particle measurements don't seem to reflect their reality [Baggott] |