this post was submitted on 22 Apr 2026
444 points (97.2% liked)

Science Memes

19956 readers
2164 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

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

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



Research Committee

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

founded 3 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] Ziglin@lemmy.world 19 points 15 hours ago (5 children)

Meanwhile the mathematicians who got a bit too close Philosophy are still arguing about which logic to use and if a proof by contradiction is even a proof at all.

[–] sparkyshocks@lemmy.zip 11 points 13 hours ago (4 children)

Exactly.

HERE'S A THEOREM: IF IT'S PROVEN, IT'S TRUE EVERYWHERE, FOREVER

But at the same time, even if it's true everywhere forever, it might still not be provable, because Gödel.

[–] pfried@reddthat.com 1 points 10 hours ago* (last edited 10 hours ago) (1 children)

But that's math. And its proof is math. And that proof is true everywhere forever.

I see philosophy as a place to make nonrigorous arguments. Eventually, other fields advance enough to do away with many philosophical arguments, like whether matter is infinitely divisible or whether the physical brain or some metaphysical spirit determines our actions.

Since this is a question that math hasn't advanced enough to answer, we can have a philosophical argument about whether other fields will eventually advance enough to get rid of all philosophical arguments.

[–] sparkyshocks@lemmy.zip 2 points 8 hours ago (1 children)

I see philosophy as a place to make nonrigorous arguments.

Wait do you think Bertrand Russell and Alan Turing and Kurt Gödel weren't making philosophical arguments?

[–] pfried@reddthat.com 1 points 6 hours ago

They are clearly mathematical. Starting with definitions and axioms and deriving from there using mathematical statements.

load more comments (2 replies)
load more comments (2 replies)