One might want to perform the action that’s the opposite of what any correct formal proof given to you claims the action to be. As a result of having the property of behaving this way, you’ll never get confronted with the confusing formally correct claims about your future decisions.
In other words, your actions are free even of the limitations of formally correct proofs, in the sense that if your actions oppose such proofs, the proofs become impossible (you make the actions intractable by construction).
One might want to perform the action that’s the opposite of what any correct formal proof given to you claims the action to be. As a result of having the property of behaving this way, you’ll never get confronted with the confusing formally correct claims about your future decisions.
In other words, your actions are free even of the limitations of formally correct proofs, in the sense that if your actions oppose such proofs, the proofs become impossible (you make the actions intractable by construction).