I have a degree in math and a degree in cs. I fucking love nonsense.

  • 0 Posts
  • 33 Comments
Joined 2 years ago
cake
Cake day: June 14th, 2023

help-circle




  • If you subscribe to classical logic (i.e., propositonal or first order logic) this is not true. Proof by contradiction is one of the more common classical logic inference rules that lets you prove negated statements and more specifically can be used to prove nonexistence statements in the first order case. People go so far as to call the proof by contradiction rule “not-introduction” because it allows you to prove negated things.

    Here’s a wiki page that also disagrees and talks more specifically about this “principle”: source (note the seven separate sources on various logicians/philosophers rejecting this “principle” as well).

    If you’re talking about some other system of logic or some particular existential claim (e.g. existence of god or something else), then I’ve got not clue. But this is definitely not a rule of classical logic.




  • Operating System Concepts by Silberschatz, Galvin and Gagne is a classic OS textbook. Andrew Tanenbaum has some OS books too. I really liked his OS Design and Implementation book but I’m pretty sure that one is super outdated by now. I have not read his newer one but it is called Modern Operating Systens iirc.











  • Sorry for getting your panties in a twist over paraphrasing your totally irrelevant point. Please understand, I don’t give a shit about what you think you can prove or disprove.

    Any supernatural phenomenon, upon rigorous delineation, becomes provably false

    Great point, one of the MAJOR challenges with arguments about whether a god does or does not exist is that the whole notion of a god is incredibly vague and not “rigorously delineated” in a general sense. Literally any introductory course in philosophy of religion would point this out.


  • The lack of reading comprehension here is definitely on your end.

    Me (sans-snarkyness) in the original comment you replied to: “Hey, the field of philosophy where this stuff is studied is called philosophy of religion. Proofs for and against the existence of a god have been critiqued to shit there. You should read about it.”

    You: “Oh yeah! Well I can disprove any god you like.”

    Congrats? Do you want a gold star or something?

    Go study philosophy of religion. These kinds of proofs and disproofs are part of that field along with their critiques. That’s the point I’m making in the comment you originally replied to. Nothing about my point is subjective.