4 ideas
18902 | Correspondence theories can't tell you what truths correspond to [Davidson] |
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] |
16711 | Heretics should be eradicated like wolves [Aquinas] |