4 ideas
8460 | Philosophers have given precise senses to deduction, probability, computability etc [Quine/Ullian] |
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] |
467 | A virtue is a combination of intelligence, strength and luck [Ion] |