The frequentist vs. baysian debate is a debate of computing mathematical paradigms. True mathematicians however shun statistics. They don’t like the statistical pradigm ;)
Gödel’s discovery ended a certain mathmatical pradigm of wanting to construct a complete mathematics from the ground up.
I could imagine a future paradigm shift way from the ideal of mathmatical proofs to more experimental math. Neural nets or quantum computers can give you answer to mathematical question that you ask that might be better than the answer s that axiom and proof based math provides.
The frequentist vs. baysian debate is a debate of computing mathematical paradigms. True mathematicians however shun statistics. They don’t like the statistical pradigm ;)
Gödel’s discovery ended a certain mathmatical pradigm of wanting to construct a complete mathematics from the ground up.
I could imagine a future paradigm shift way from the ideal of mathmatical proofs to more experimental math. Neural nets or quantum computers can give you answer to mathematical question that you ask that might be better than the answer s that axiom and proof based math provides.
Except, in practice mathematics still works this way.