3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
17319 | There are 'conceptual' explanations, with their direction depending on complexity [Schnieder] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |