3 ideas
21717 | Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B] |
23217 | All of our happiness and misery arises entirely from the brain [Hippocrates] |
5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |