3 ideas
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
3178 | A fast machine could pass all behavioural tests with a vast lookup table [Block, by Rey] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |