Science Memes

11404 readers

1319 users here now

Welcome to c/science_memes @ Mander.xyz!

A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.

Rules

Don't throw mud. Behave like an intellectual and remember the human.
Keep it rooted (on topic).
No spam.
Infographics welcome, get schooled.

This is a science community. We use the Dawkins definition of meme.

Research Committee

[email protected]

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

founded 2 years ago

MODERATORS

[email protected]

700

Blocked 🚫 (mander.xyz)

submitted 3 months ago by [email protected] to c/[email protected]

79 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 0 points 3 months ago* (last edited 3 months ago) (1 children)

That's computer science alongside with Church/Turing. Maths could have tried to claim it but they doubled down on formalism so they don't deserve it.

That said though incompleteness follows from nothing but logical implication itself so it's more fundamental than physics (try to imagine a physics without cause and effect that doesn't get you cancelled because Boltzmann) and philosophy (find me a philosopher who wasn't asleep during their logic lectures).

[–] [email protected] 1 points 3 months ago (1 children)

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 :)

[–] [email protected] 0 points 3 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.