3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
4741 | A very powerful computer might have its operations restricted by the addition of consciousness [Clark,T] |
22251 | Liberalism may fail because it neglects the shared nature of what we pursue and protect [Haldane] |