Eugine_Nier comments on AALWA: Ask any LessWronger anything - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (611)
Well, in analytic number theory, for example, there are many heuristic arguments that have a causality like flavor; however, the proofs of the statements in question are frequently unrelated to the heuristics.
Also, this is a discussion about the causal relationship between a theorem and its proof.
I don't know much about analytic number theory, could you be more specific? I didn't follow the discussion you linked very well, because they say things like "Pearlian causality is not counterfactual", or think that there is any relationship between implication and causation. Neither is true.