13 ideas
14212 | A consistent theory just needs one model; isomorphic versions will do too, and large domains provide those [Lewis] |
17963 | The facts of geometry, arithmetic or statics order themselves into theories [Hilbert] |
17966 | Axioms must reveal their dependence (or not), and must be consistent [Hilbert] |
17967 | To decide some questions, we must study the essence of mathematical proof itself [Hilbert] |
17965 | The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert] |
17964 | Number theory just needs calculation laws and rules for integers [Hilbert] |
14213 | Anti-realists see the world as imaginary, or lacking joints, or beyond reference, or beyond truth [Lewis] |
14210 | A gerrymandered mereological sum can be a mess, but still have natural joints [Lewis] |
14215 | Causal theories of reference make errors in reference easy [Lewis] |
14209 | Descriptive theories remain part of the theory of reference (with seven mild modifications) [Lewis] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |