24 ideas
10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W] |
10283 | A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W] |
10284 | There are three different standard presentations of semantics [Hodges,W] |
10285 | I |= φ means that the formula φ is true in the interpretation I [Hodges,W] |
10288 | Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W] |
10289 | Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W] |
10287 | If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W] |
10286 | A 'set' is a mathematically well-behaved class [Hodges,W] |
21202 | The strong force has a considerably greater range than the weak force [Martin,BR] |
21211 | If an expected reaction does not occur, that implies a conservation law [Martin,BR] |
21209 | Electron emit and reabsorb photons, which create and reabsorb virtual electrons and positrons [Martin,BR] |
21201 | A 'field' is just a region to which points can be assigned in space and time [Martin,BR] |
21212 | The Higgs field, unlike others, has a nozero value in a state without particles [Martin,BR] |
21205 | Many physicists believe particles have further structure, if only we could see it [Martin,BR] |
21203 | Uncertainty allows very brief violations of energy conservation - even shorter with higher energies [Martin,BR] |
21207 | The Exclusion Principle says no two fermions occupy the same state, with the same numbers [Martin,BR] |
21204 | The standard model combines theories of strong interaction, and electromagnetic and weak interaction [Martin,BR] |
21208 | Eletrons don't literally 'spin', because they are point-like [Martin,BR] |
21210 | Virtual particles surround any charged particle [Martin,BR] |
21206 | The properties of a particle are determined by its quantum numbers and its mass [Martin,BR] |
21213 | String theory only has one free parameter (tension) - unlike the standard model with 19 [Martin,BR] |
21200 | An 'element' is what cannot be decomposed by chemistry [Martin,BR] |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
6610 | I believe because it is absurd [Tertullian] |