> If you only look at mathematics I think it's simply: - Axioms are invented - Conclusions are discovered
How would you revise this statement if we lived in a "Mathematical Universe", like Max Tegmark's hypothesis.
> The magic part for me is that some axioms have been chosen so well that their conclusions are confirmed in the real world.
It's actually hard to avoid Turing completeness, and once you have that, any recursively enumerable function is calculable. All you need is addition and multiplication on numbers.
How would you revise this statement if we lived in a "Mathematical Universe", like Max Tegmark's hypothesis.
> The magic part for me is that some axioms have been chosen so well that their conclusions are confirmed in the real world.
It's actually hard to avoid Turing completeness, and once you have that, any recursively enumerable function is calculable. All you need is addition and multiplication on numbers.