this post was submitted on 05 Dec 2024
235 points (93.7% liked)

Science Memes

11431 readers
1324 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 2 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] stevedice@sh.itjust.works 4 points 2 weeks ago (1 children)

I don't think you're picking up what I'm putting down. I'm not arguing that the return value can be 1, I'm well aware that it can't — I wrote the function so that it will always return 0. It only returns 1 if we make an incorrect assumption (and mix up semantics with formal logic, but that's another conversation), the incorrect assumption being "if is equivalent to if, and only if"

[–] nickwitha_k@lemmy.sdf.org 2 points 2 weeks ago (1 children)

Sorry! I sometimes get carried away on correctness.

[–] stevedice@sh.itjust.works 2 points 2 weeks ago* (last edited 2 weeks ago)

I mean, making an assumption and arriving to a contradiction is as correct as a proof gets.