3 ms·
It's a shortcut, they're not literally invoking "God". It's an encoding of: We don't know what the optimum is, but we can imagine the complete set of possible
by ColinWright 6y ago
It's a shortcut, they're not literally invoking "God". It's an encoding of:
We don't know what the optimum is, but we can imagine the complete set of possible things, and from those there will be one that's best. So that's the optimum, and we want to refer to it. We don't know what it is, but we assume it exists, so let's just call it 'God's solution'
- blt 6y ago> we can imagine the complete set of possible things, and from those there will be one that's best. Not necessarily, unless we make some more assumptions about the set of proofs and/or the proof goodness function ;)
- drdeca 6y agoIndeed, but I expect that that for any theorem, that for some level of proof quality which is attained, that all proofs that are at least that good, all have at most a certain finite length. And, as there are only finitely many proofs of any finite length, then the supremum of proof quality over any proofs of that theorem, is attained. (whether there is usually unique proof which attains it, I don't care to guess.)