An input to another algorithm may be our source code, with the other algorithm’s output depending on what they can prove about our output. If we assume they reason consistently, and want to prove something about their output, we might assume what they prove about us even when that later turns out impossible.
An input to another algorithm may be our source code, with the other algorithm’s output depending on what they can prove about our output. If we assume they reason consistently, and want to prove something about their output, we might assume what they prove about us even when that later turns out impossible.