Is there an internal benefit to something being provable besides it being true?
It’s a lot easier to tell if something is provable than if it is true.
Is there an internal benefit to something being provable besides it being true?
It’s a lot easier to tell if something is provable than if it is true.