6 ideas
| 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 |
| 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. |
| 7458 | The reliability of witnesses depends on whether they benefit from their observations [Laplace, by Hacking] |
| Full Idea: The credibility of a witness is in part a function of the story being reported. When the story claims to have infinite value, the temptation to lie for personal benefit is asymptotically infinite. | |
| From: report of Pierre Simon de Laplace (Philosophical Essay on Probability [1820], Ch.XI) by Ian Hacking - The Emergence of Probability Ch.8 | |
| A reaction: Laplace seems to especially have reports of miracles in mind. This observation certainly dashes any dreams one might have of producing a statistical measure of the reliability of testimony. |
| 3441 | If a supreme intellect knew all atoms and movements, it could know all of the past and the future [Laplace] |
| Full Idea: An intelligence knowing at an instant the whole universe could know the movement of the largest bodies and atoms in one formula, provided his intellect were powerful enough to subject all data to analysis. Past and future would be present to his eyes. | |
| From: Pierre Simon de Laplace (Philosophical Essay on Probability [1820]), quoted by Mark Thornton - Do we have free will? p.70 |
| 8140 | God is love [John] |
| Full Idea: God is love. | |
| From: St John (23: First Epistle of John [c.90], 4.16) | |
| A reaction: Used by Ayer as an example of meaningless religious language (see Idea 5209). One might translate it as 'the existence of God is a necessary condition for the existence of love in the universe'. Like matter is needed for gravity. Not totally meaningless! |
| 8139 | If you love the world, then you do not love the Father [John] |
| Full Idea: Love not the world, neither the things that are in the world. If any man love the world, the love of the Father is not in him. | |
| From: St John (23: First Epistle of John [c.90], 2.15) | |
| A reaction: This strikes me as an essentially wicked teaching, and one step on the road to suicide. The rejection of life is the worst aspect of all religions - surely it is obvious that we should try to make the best of life, not turn our backs on it? |