4 ms·
Whether something is practical to compute is a very different matter from what OP stated was their concern, namely logical knots, potential inconsistencies/cont
by Kranar 4y ago
Whether something is practical to compute is a very different matter from what OP stated was their concern, namely logical knots, potential inconsistencies/contradictions of the "this sentence is false" type, and unbounded complexity.
- thrown_22 4y agoIt really isn't. Math proofs need to be not only finite but small enough to fit in the universe to be discovered. This strictly finite nonsense is a left over from a time when we could only do symbol manipulation with a human brain.
- Kranar 4y agoThat could be true, but it has nothing to do with what was being discussed.