4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
12427 | All of mathematics is properties of the whole numbers [Kronecker] |
10091 | God made the integers, all the rest is the work of man [Kronecker] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |