3 ms·
> This can be proven false by contradiction: it may be possible to _know_ that one of our problems has no solution. This claim requires a bit more explanation,
by glitchc 3y ago
> This can be proven false by contradiction: it may be possible to _know_ that one of our problems has no solution.
This claim requires a bit more explanation, not sure if possible. Can you elaborate, or use an example?