Ideas of John von Neumann, by Theme

[Hungarian, 1903 - 1957, One of the fathers of the modern computer.]

idea number gives full details    |    back to list of philosophers    |     expand these ideas
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Von Neumann defines each number as the set of all smaller numbers
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Von Neumann wanted mathematical functions to replace sets
6. Mathematics / B. Foundations for Mathematics / 4. Definitions of Number / g. Von Neumann numbers
Each Von Neumann ordinal number is the set of its predecessors
6. Mathematics / B. Foundations for Mathematics / 5. Mathematics as Set Theory / a. Mathematics is set theory
All the axioms for mathematics presuppose set theory