= 27d567bc2d48d9f40e9ccc20ea370b15)
Eugine_Nier comments on Causal Reference - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (242)
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.