Yeah, I meant to say that the incompleteness theorem proves that math cannot be perfectly pure and fundamental. I don’t exactly care which field claims it, because I don’t like to encourage artificial boundaries between disciplines.
It’s nice to use information theory results in physics :)
The other way around: As long as you accept that cause and effect are a thing, you must accept that there are things that are, fundamentally, uncomputable. And as our universe very much does seem to have cause and effect that’s a physical law, likewise is complexity theory. Differently put: God can’t sort a list with fewer than O(n log n) comparisons.
Yeah, I meant to say that the incompleteness theorem proves that math cannot be perfectly pure and fundamental. I don’t exactly care which field claims it, because I don’t like to encourage artificial boundaries between disciplines. It’s nice to use information theory results in physics :)
The other way around: As long as you accept that cause and effect are a thing, you must accept that there are things that are, fundamentally, uncomputable. And as our universe very much does seem to have cause and effect that’s a physical law, likewise is complexity theory. Differently put: God can’t sort a list with fewer than O(n log n) comparisons.