more on this theme     |     more from this text


Single Idea 3355

[filed under theme 4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory ]

Full Idea

Von Neumann suggested that functions be pressed into service to replace sets.

Gist of Idea

Von Neumann wanted mathematical functions to replace sets

Source

report of John von Neumann (works [1935]) by José A. Benardete - Metaphysics: the logical approach Ch.23

Book Ref

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


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]