4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
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] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |