4 ideas
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
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] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |