16 ideas
| 3340 | Von Neumann defines each number as the set of all smaller numbers [Neumann, by Blackburn] |
| Full Idea: Von Neumann defines each number as the set of all smaller numbers. | |
| From: report of John von Neumann (works [1935]) by Simon Blackburn - Oxford Dictionary of Philosophy p.280 |
| 15943 | Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann] |
| Full Idea: Von Neumann's Limitation of Size axiom is not self-evident, and he himself admitted that it seemed too strong. | |
| From: comment on John von Neumann (An Axiomatization of Set Theory [1925]) by Shaughan Lavine - Understanding the Infinite VII.1 |
| 3355 | Von Neumann wanted mathematical functions to replace sets [Neumann, by Benardete,JA] |
| Full Idea: Von Neumann suggested that functions be pressed into service to replace sets. | |
| From: report of John von Neumann (works [1935]) by José A. Benardete - Metaphysics: the logical approach Ch.23 |
| 13489 | Von Neumann treated cardinals as a special sort of ordinal [Neumann, by Hart,WD] |
| Full Idea: Von Neumann's decision was to start with the ordinals and to treat cardinals as a special sort of ordinal. | |
| From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by William D. Hart - The Evolution of Logic 3 | |
| A reaction: [see Hart 73-74 for an explication of this] |
| 22716 | Von Neumann defined ordinals as the set of all smaller ordinals [Neumann, by Poundstone] |
| Full Idea: At age twenty, Von Neumann devised the formal definition of ordinal numbers that is used today: an ordinal number is the set of all smaller ordinal numbers. | |
| From: report of John von Neumann (works [1935]) by William Poundstone - Prisoner's Dilemma 02 'Sturm' | |
| A reaction: I take this to be an example of an impredicative definition (not predicating something new), because it uses 'ordinal number' in the definition of ordinal number. I'm guessing the null set gets us started. |
| 12336 | A von Neumann ordinal is a transitive set with transitive elements [Neumann, by Badiou] |
| Full Idea: In Von Neumann's definition an ordinal is a transitive set in which all of the elements are transitive. | |
| From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Alain Badiou - Briefings on Existence 11 |
| 18179 | For Von Neumann the successor of n is n U {n} (rather than {n}) [Neumann, by Maddy] |
| Full Idea: For Von Neumann the successor of n is n U {n} (rather than Zermelo's successor, which is {n}). | |
| From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Penelope Maddy - Naturalism in Mathematics I.2 n8 |
| 18180 | Von Neumann numbers are preferred, because they continue into the transfinite [Maddy on Neumann] |
| Full Idea: Von Neumann's version of the natural numbers is in fact preferred because it carries over directly to the transfinite ordinals. | |
| From: comment on John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Penelope Maddy - Naturalism in Mathematics I.2 n9 |
| 15925 | Each Von Neumann ordinal number is the set of its predecessors [Neumann, by Lavine] |
| Full Idea: Each Von Neumann ordinal number is the set of its predecessors. ...He had shown how to introduce ordinal numbers as sets, making it possible to use them without leaving the domain of sets. | |
| From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Shaughan Lavine - Understanding the Infinite V.3 |
| 13672 | All the axioms for mathematics presuppose set theory [Neumann] |
| Full Idea: There is no axiom system for mathematics, geometry, and so forth that does not presuppose set theory. | |
| From: John von Neumann (An Axiomatization of Set Theory [1925]), quoted by Stewart Shapiro - Foundations without Foundationalism 8.2 | |
| A reaction: Von Neumann was doubting whether set theory could have axioms, and hence the whole project is doomed, and we face relativism about such things. His ally was Skolem in this. |
| 22252 | Capitalism may actually be the best way to foster community [Conway,D] |
| Full Idea: Not only is there no good reason for supposing capitalism inimical to community, but there is reason to think it more conducive to community than the feasible alternatives to it. | |
| From: David Conway (Capitalism and Community [1996], I) | |
| A reaction: Conway is defending an obviously unorthodox view, while attacking the hopes of communitarians. |
| 22253 | Capitalism is just the market, with optional limited government, and perhaps democracy [Conway,D] |
| Full Idea: There are three types of capitalism: 1) the market - private ownership, labor contracts and profit, 2) limited government - the state provides goods the market cannot do, 3) limited government with democracy - with political freedom and elections. | |
| From: David Conway (Capitalism and Community [1996], II) | |
| A reaction: [compressed] I would have thought that capitalism is compatible with a fair degree of workplace democracy, which would make a fourth type. |
| 22256 | Capitalism prefers representative democracy, which avoids community decision-making [Conway,D] |
| Full Idea: By opting for representative rather than direct democracy, capitalism is said to preclude political community, for which the citizens of a state must possess a common will, which needs their direct participation in decisions. | |
| From: David Conway (Capitalism and Community [1996], V) | |
| A reaction: Conway does not accept this claim. I'm beginning to wonder whether the famous British electoral system is actually a capitalist conspiracy against the people. |
| 22255 | Capitalism breaks up extended families, and must then provide welfare for the lonely people [Conway,D] |
| Full Idea: It is said that capitalism encourages the breakup of extended families, which creates the need for extensive state welfare for those indigent members of society who can no longer rely on their own family to take care of them. | |
| From: David Conway (Capitalism and Community [1996], V) | |
| A reaction: Conway does not accept this claim. It seems to simplistic to say that capitalism is the sole culprit. Any rise of mechanisation in agriculture would break up rural extended families. |
| 22257 | Capitalism is anti-community, by only valuing individuals, and breaking up families [Conway,D] |
| Full Idea: Communitarns say capitalism is inimical to family community, because it encourages an individualistic mentality which only values self-fulfilment, and because it demands labour mobility which is disruptive of families. | |
| From: David Conway (Capitalism and Community [1996], VI) | |
| A reaction: Chicken-and-egg with the first one. Small entrepreneurs are individualists who seek their own gain. It is big capitalism that sucks in the others. Traditional community is based on labour-intensive agriculture. |
| 6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
| Full Idea: Hermarchus said that animal killing is justified by considerations of human safety and nourishment and by animals' inability to form contractual relations of justice with us. | |
| From: report of Hermarchus (fragments/reports [c.270 BCE]) by David A. Sedley - Hermarchus | |
| A reaction: Could the last argument be used to justify torturing animals? Or could we eat a human who was too brain-damaged to form contracts? |