9 ideas
9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
18281 | In mathematics everything is algorithm and nothing is meaning [Wittgenstein] |
13489 | Von Neumann treated cardinals as a special sort of ordinal [Neumann, by Hart,WD] |
12336 | A von Neumann ordinal is a transitive set with transitive elements [Neumann, by Badiou] |
18179 | For Von Neumann the successor of n is n U {n} (rather than {n}) [Neumann, by Maddy] |
18180 | Von Neumann numbers are preferred, because they continue into the transfinite [Maddy on Neumann] |
15925 | Each Von Neumann ordinal number is the set of its predecessors [Neumann, by Lavine] |
9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
6606 | Consider: "Imagine this butterfly exactly as it is, but ugly instead of beautiful" [Wittgenstein] |