• 1 Post
  • 196 Comments
Joined 2 years ago
cake
Cake day: January 5th, 2024

help-circle








  • NeatNit@discuss.tchncs.detoScience Memes@mander.xyzFight me
    link
    fedilink
    English
    arrow-up
    17
    arrow-down
    1
    ·
    24 days ago

    You’re welcome! Folding@home is the big one, and the Great Internet Mersenne Prime Search is also pretty popular (though IMHO a waste of resources for a relatively useless result). But I just looked into this topic myself after posting that comment, and turns out there’s a huge list of such “volunteer computing” projects: https://en.wikipedia.org/wiki/List_of_volunteer_computing_projects

    So while Folding@home is a great one and medical scientific research, you might pick something else from that list. Perhaps more than one!

    Now the confession: I’m a hypocrite. I never ran any of these volunteer computing projects on my own PCs. But that’s partly because I tend to shut them off every night, so a lot of the usable time for it isn’t really usable. The other part is basically that I never bothered to do it.

    But I think after this conversation reminded me of it, I might look into installing it on my PC!





  • That’s interesting. I’ll have to read up on that. You’re right, I am thinking about boolean algebra.

    In the mean time though, I’ll note that Boolean algebra on Wikipedia also refers to this operation, so I’m not alone:

    Material conditional

    The first operation, x → y, or Cxy, is called material implication. If x is true, then the result of expression x → y is taken to be that of y (e.g. if x is true and y is false, then x → y is also false). But if x is false, then the value of y can be ignored; however, the operation must return some Boolean value and there are only two choices. So by definition, x → y is true when x is false (relevance logic rejects this definition, by viewing an implication with a false premise as something other than either true or false).

    It also uses the second interpretation that I mentioned in my earlier comment (4 above this one), with true being default, rather than the one we’ve been discussing.




  • Yup, that’s my interpretation too. It just doesn’t sit well with all the other operators.

    All the others are phrased as direct questions about the values of A and B:

    • A AND B = “Are A and B both true?”
    • A OR B = “Are either A or B true, or both?”
    • A NAND B = “Is (A AND B) not true?”
    • A IMPLIES B = “Is it possible, hypothetically speaking, for it to be the case that A implies B, given the current actual values of A and B?”

    You see the issue?

    Edit: looking online, some people see it as: “If A is true, take the value of B.” A implies that you should take the value of B. But if A is false, you shouldn’t take the value of B, instead you should use the default value which is inexplicably defined to be true for this operation.

    This is slightly more satisfying but I still don’t like it. The implication (ha) that true is the default value for a boolean doesn’t sit right with me. I don’t even feel comfortable with a boolean having a default value, let alone it being true instead of false which would be more natural.

    Edit 2: fixed a brain fart for A NAND B