The thing is that mathematics seems to have an additional causal structure that seems to be (at least partially) independent from the proof structure.
I agree with this. I didn’t mean to give the impression that the causal structure is the same as the proof structure.
The thing is that mathematics seems to have an additional causal structure that seems to be (at least partially) independent from the proof structure.
I agree with this. I didn’t mean to give the impression that the causal structure is the same as the proof structure.