8 ideas
22820 | Early Romantics sought a plurality of systems, in a quest for freedom [Hösle] |
17879 | Axiomatising set theory makes it all relative [Skolem] |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
22819 | In the 18th century history came to be seen as progressive, rather than cyclical [Hösle] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |