12 ideas
3340 | Von Neumann defines each number as the set of all smaller numbers [Neumann, by Blackburn] |
3355 | Von Neumann wanted mathematical functions to replace sets [Neumann, by Benardete,JA] |
8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
22716 | Von Neumann defined ordinals as the set of all smaller ordinals [Neumann, by Poundstone] |
10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
22098 | Socrates neglects the gap between knowing what is good and doing good [Kierkegaard, by Carlisle] |
22096 | Anxiety is not a passing mood, but a response to human freedom [Kierkegaard, by Carlisle] |
22097 | The ultimate in life is learning to be anxious in the right way [Kierkegaard] |
21909 | Ultimate knowledge is being anxious in the right way [Kierkegaard] |
20758 | Anxiety is staring into the yawning abyss of freedom [Kierkegaard] |