4 ideas
18470 | Maybe truth-making is an unanalysable primitive, but we can specify principles for it [Smith,B] |
18119 | Mathematics is a mental activity which does not use language [Brouwer, by Bostock] |
18118 | Brouwer regards the application of mathematics to the world as somehow 'wicked' [Brouwer, by Bostock] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |