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

  • 0 Posts
  • 197 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 Systems iirc.


  • myslsl@lemmy.worldtoScience Memes@mander.xyzI just cited myself.
    link
    fedilink
    English
    arrow-up
    1
    ·
    edit-2
    1 year ago

    i has nice real world analogues in the form of rotations by pi/2 about the origin (though this depends a little bit on what you mean by “real world analogue”).

    Since i=exp(ipi/2), if you take any complex number z and write it in polar form z=rexp(it), then multiplication by i yields a rotation of z by pi/2 about the origin because zi=rexp(it)exp(ipi/2)=rexp(i(t+pi/2)) by using rules of exponents for complex numbers.

    More generally since any pair of complex numbers z, w can be written in polar form z=rexp(it), w=uexp(iv) we have wz=(ru)exp(i(t+v)). This shows multiplication of a complex number z by any other complex number w can be thought of in terms of rotating z by the angle that w makes with the x axis (i.e. the angle v) and then scaling the resulting number by the magnitude of w (i.e. the number u)

    Alternatively you can get similar conclusions by Demoivre’s theorem if you do not like complex exponentials.