more on this theme     |     more from this text


Single Idea 3340

[filed under theme 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets ]

Full Idea

Von Neumann defines each number as the set of all smaller numbers.

Gist of Idea

Von Neumann defines each number as the set of all smaller numbers

Source

report of John von Neumann (works [1935]) by Simon Blackburn - Oxford Dictionary of Philosophy p.280

Book Ref

Benardete,José A.: 'Metaphysics: The Logical Approach' [OUP 1989], p.280


The 10 ideas from John von Neumann

Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann]
All the axioms for mathematics presuppose set theory [Neumann]
For Von Neumann the successor of n is n U {n} (rather than {n}) [Neumann, by Maddy]
Von Neumann numbers are preferred, because they continue into the transfinite [Maddy on Neumann]
Each Von Neumann ordinal number is the set of its predecessors [Neumann, by Lavine]
A von Neumann ordinal is a transitive set with transitive elements [Neumann, by Badiou]
Von Neumann treated cardinals as a special sort of ordinal [Neumann, by Hart,WD]
Von Neumann defined ordinals as the set of all smaller ordinals [Neumann, by Poundstone]
Von Neumann wanted mathematical functions to replace sets [Neumann, by Benardete,JA]
Von Neumann defines each number as the set of all smaller numbers [Neumann, by Blackburn]