4 ideas
17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
18810 | Aristotle's proofs give understanding, so it can't be otherwise, so consequence is necessary [Smiley, by Rumfitt] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |