3 ideas
15380 | Barcan:nothing comes into existence; Converse:nothing goes out; Both:domain is unchanging [Vervloesem] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |