9 ideas
13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
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] |
13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
4577 | There is no necessity higher than natural necessity, and that is just regularity [Quine] |