6 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
8921 | Structuralism is now common, studying relations, with no regard for what the objects might be [Hellman] |
8922 | Maybe mathematical objects only have structural roles, and no intrinsic nature [Hellman] |
18933 | Not-Being obviously doesn't exist, and the five modes of Being are all impossible [Gorgias, by Diog. Laertius] |
5864 | Destroy seriousness with laughter, and laughter with seriousness [Gorgias] |
9866 | Gorgias says rhetoric is the best of arts, because it enslaves without using force [Gorgias, by Plato] |