[glitchc]

> 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?