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.
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.