3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
15282 | Facts should be deducible from the theory and initial conditions, and prefer the simpler theory [Osiander, by Harré/Madden] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |