8 ideas
3340 | Von Neumann defines each number as the set of all smaller numbers [Neumann, by Blackburn] |
13655 | The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro] |
9915 | V = L just says all sets are constructible [Putnam] |
3355 | Von Neumann wanted mathematical functions to replace sets [Neumann, by Benardete,JA] |
9913 | The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam] |
22716 | Von Neumann defined ordinals as the set of all smaller ordinals [Neumann, by Poundstone] |
9914 | It is unfashionable, but most mathematical intuitions come from nature [Putnam] |
8659 | The gods alone live forever with Shamash. The days of humans are numbered. [Anon (Gilg)] |