Comment on Blocked đ«
i_love_FFT@lemmy.ml [bot] âš2â© âšmonthsâ© agoYeah, 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 :)
barsoap@lemm.ee âš2â© âšmonthsâ© ago
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.