• Draghetta@lemmy.world
    link
    fedilink
    English
    arrow-up
    26
    ·
    4 days ago

    Jesus says that for every number in an empty set it is true that 1=2?

    That’s formally correct, any property can be attributed to elements of an empty set - for example, every unicorn currently living in my house is afraid of tea.

    This is counterintuitive because for this to be true you’d expect me to have to prove the existence of my unicorns and then their phobias, but formally speaking I just need for counter-examples to be impossible.

    Logically speaking the negation of “all my unicorns are afraid of tea” is “at least one unicorn is not afraid of tea”, which is not possible since I have no unicorns, therefore my sentence is formally correct. Even though people wouldn’t accept this because it is counterintuitive.

    Did I get the joke?

    • walter_wiggles@lemmy.nz
      link
      fedilink
      English
      arrow-up
      20
      ·
      3 days ago

      You got it bro. Should do something about those unicorns though, a civilized unicorn would drink tea.

      • threelonmusketeers@sh.itjust.works
        link
        fedilink
        English
        arrow-up
        8
        ·
        3 days ago

        By that logic, wouldn’t “every unicorn is my house enjoys tea” also be *true*, because the negated “at least one unicorn in my house dislikes tea” can’t be proven?

        • yetAnotherUser@discuss.tchncs.de
          link
          fedilink
          English
          arrow-up
          7
          ·
          edit-2
          3 days ago

          Yes, that’s also true. The empty set is the only set for which every element has property A and doesn’t have property A simultaneously.

          For example:

          If the Eiffel Tower is on the Moon, then 1=2 and 1≠2.

      • Ediacarium@feddit.org
        link
        fedilink
        English
        arrow-up
        3
        ·
        3 days ago

        Agreed, that’s why it’s also true that every unicorn currently living in his house enjoys tea.

  • sexy_peach@feddit.org
    link
    fedilink
    English
    arrow-up
    2
    ·
    edit-2
    4 days ago

    There’s nothing wrong here, usually there is a rule after the colon. So 1=2 is the rule here