710
Blocked 🚫
(mander.xyz)
A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.
Rules
This is a science community. We use the Dawkins definition of meme.
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.