3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
19440 | How do you know you have conceived a thing deeply enough to assess its possibility? [Vaidya] |
12709 | Motion is not absolute, but consists in relation [Leibniz] |