Empirical math, or how experiments can increase our confidence in mathematical conclusions despite access to formal proofs
www.emilkirkegaard.com
Earlier posts: Something about certainty, proofs in math, induction/abduction, Is the summed cubes equal to the squared sum of counting integer series? The things I'm going to say for math are equally true for logic, so whenever I write "math", just mentally substitute to "math and logic".
Empirical math, or how experiments can increase our confidence in mathematical conclusions despite access to formal proofs
Empirical math, or how experiments can…
Empirical math, or how experiments can increase our confidence in mathematical conclusions despite access to formal proofs
Earlier posts: Something about certainty, proofs in math, induction/abduction, Is the summed cubes equal to the squared sum of counting integer series? The things I'm going to say for math are equally true for logic, so whenever I write "math", just mentally substitute to "math and logic".