8 ideas
3340 | Von Neumann defines each number as the set of all smaller numbers [Neumann, by Blackburn] |
3355 | Von Neumann wanted mathematical functions to replace sets [Neumann, by Benardete,JA] |
22716 | Von Neumann defined ordinals as the set of all smaller ordinals [Neumann, by Poundstone] |
14361 | Lewis says indicative conditionals are truth-functional [Lewis, by Jackson] |
8434 | In good counterfactuals the consequent holds in world like ours except that the antecedent is true [Lewis, by Horwich] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
9419 | A law of nature is a general axiom of the deductive system that is best for simplicity and strength [Lewis] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |