11 ideas
6806 | Do not multiply entities beyond necessity [William of Ockham] |
8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
18086 | Weierstrass eliminated talk of infinitesimals [Weierstrass, by Kitcher] |
18092 | Weierstrass made limits central, but the existence of limits still needed to be proved [Weierstrass, by Bostock] |
10113 | The grounding of mathematics is 'in the beginning was the sign' [Hilbert] |
10115 | Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman] |
10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
22132 | Species and genera are individual concepts which naturally signify many individuals [William of Ockham] |
19381 | The past has ceased to exist, and the future does not yet exist, so time does not exist [William of Ockham] |
8010 | William of Ockham is the main spokesman for God's commands being the source of morality [William of Ockham] |
16679 | Even an angel must have some location [William of Ockham, by Pasnau] |