this post was submitted on 11 Apr 2024
1308 points (95.7% liked)

Science Memes

10309 readers
1105 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.


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
[–] [email protected] -1 points 5 months ago (5 children)

Infinite seems like it's low-balling it, then. 0% of problems can be solved by Turing machines (same way 0% of real numbers are integers)

[–] [email protected] 2 points 5 months ago (2 children)

Infinite seems like it's low-balling it

Infinite by definition cannot be "low-balling".

0% of problems can be solved by Turing machines (same way 0% of real numbers are integers)

This is incorrect. Any computable problem can be solved by a Turing machine. You can look at the Church-Turing thesis if you want to learn more.

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

Infinite by definition cannot be “low-balling”.

I was being cheeky! It could've been that the set of non-Turing-computible problems had measure zero but still infinite cardinality. However there's the much stronger result that the set of Turing-computible problems actually has measure zero (for which I used 0% and the integer:reals thing as shorthands because I didn't want to talk measure theory on Lemmy). This is so weird, I never got downvoted for this stuff on Reddit.

[–] [email protected] 3 points 5 months ago

Oh, sorry about that! Your cheekiness went right over my head. 😋

load more comments (2 replies)