9 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
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] |
9913 | The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam] |
9914 | It is unfashionable, but most mathematical intuitions come from nature [Putnam] |
299 | What is fine is always difficult [Plato] |
297 | What is fine is the parent of goodness [Plato] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |
298 | While sex is very pleasant, it should be in secret, as it looks contemptible [Plato] |