０７６萌ＳＮＳ
  • Login

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by MercurialBlack (mercurialblack@pleroma.mercurial.blog), page 11

  1. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Tuesday, 13-Jun-2023 16:06:51 JST MercurialBlack MercurialBlack
    in reply to
    • احمدابن محمد الخيام
    • THE pleroma-tan enjoyer
    @sysrq @kirby YOU DO NOT EXIST YOUR HEART IS VOID AND YOUR BRAIN IS A TAUTOLOGY
    In conversation Tuesday, 13-Jun-2023 16:06:51 JST from pleroma.mercurial.blog permalink
  2. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Tuesday, 13-Jun-2023 16:06:50 JST MercurialBlack MercurialBlack
    in reply to
    • احمدابن محمد الخيام
    • MercurialBlack
    • THE pleroma-tan enjoyer
    @sysrq @kirby SCREAM YOUR CONTRADICTION O SON OF ADAM
    In conversation Tuesday, 13-Jun-2023 16:06:50 JST from pleroma.mercurial.blog permalink
  3. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Tuesday, 13-Jun-2023 16:06:49 JST MercurialBlack MercurialBlack
    in reply to
    • احمدابن محمد الخيام
    • THE pleroma-tan enjoyer
    @sysrq @kirby AU CONTRAIRE MON NIGGÈRE I"M ONE OF THE FEW STILL SANE

    I EXIST FUCK YOU I EXIST
    In conversation Tuesday, 13-Jun-2023 16:06:49 JST from pleroma.mercurial.blog permalink
  4. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Tuesday, 13-Jun-2023 16:06:48 JST MercurialBlack MercurialBlack
    in reply to
    • احمدابن محمد الخيام
    • THE pleroma-tan enjoyer
    @sysrq @kirby WHAT ARE YOU MOTHER FUCKER WHAT ARE YOU
    In conversation Tuesday, 13-Jun-2023 16:06:48 JST from pleroma.mercurial.blog permalink
  5. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Tuesday, 13-Jun-2023 16:06:46 JST MercurialBlack MercurialBlack
    in reply to
    • احمدابن محمد الخيام
    • MercurialBlack
    • THE pleroma-tan enjoyer
    @sysrq @kirby *Oa-oatmeal
    In conversation Tuesday, 13-Jun-2023 16:06:46 JST from pleroma.mercurial.blog permalink
  6. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Tuesday, 13-Jun-2023 16:06:46 JST MercurialBlack MercurialBlack
    in reply to
    • احمدابن محمد الخيام
    • THE pleroma-tan enjoyer
    @sysrq @kirby 2 Oatmeal Kirby is a Pi-ink Guy
    In conversation Tuesday, 13-Jun-2023 16:06:46 JST from pleroma.mercurial.blog permalink
  7. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Tuesday, 13-Jun-2023 16:06:45 JST MercurialBlack MercurialBlack
    • احمدابن محمد الخيام
    • THE pleroma-tan enjoyer
    @sysrq @kirby NO NO NO FUCK YOU FUCK YOU

    I DONT WANT TO KNOW WHAT YOURE NOT, DONT DEFINE YOURSELF BY CONTRADICTION, DEFINE YOURSELF BY ASSERTION

    TELL ME YOUR TYPE, NOT WHAT YOUR TYPE IS NOT
    In conversation Tuesday, 13-Jun-2023 16:06:45 JST from pleroma.mercurial.blog permalink
  8. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Tuesday, 13-Jun-2023 16:06:43 JST MercurialBlack MercurialBlack
    • احمدابن محمد الخيام
    • THE pleroma-tan enjoyer
    @sysrq @kirby This is the second time you've failed god DAMN it
    In conversation Tuesday, 13-Jun-2023 16:06:43 JST from pleroma.mercurial.blog permalink
  9. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Tuesday, 13-Jun-2023 16:06:42 JST MercurialBlack MercurialBlack
    • бүх зүйлийн төгсгөл :DamnFemaleKid:
    • احمدابن محمد الخيام
    • THE pleroma-tan enjoyer
    @DerLeere @sysrq @kirby I hate filenames with spaces
    In conversation Tuesday, 13-Jun-2023 16:06:42 JST from pleroma.mercurial.blog permalink
  10. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Tuesday, 13-Jun-2023 15:37:44 JST MercurialBlack MercurialBlack
    in reply to
    • Chad Warden :pleromatan:
    @kirby 9uf8a7ufinqfmaefm'
    ][ lf[
    ] apsfoasif 9q8e7q86ebw6 b fndsa hdjsah ff sf

    f dasjf dijsaf9ewi98r8yiusygiuynashafda fateioota fdsaf asoew
    43
    In conversation Tuesday, 13-Jun-2023 15:37:44 JST from pleroma.mercurial.blog permalink
  11. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Tuesday, 13-Jun-2023 15:37:42 JST MercurialBlack MercurialBlack
    in reply to
    • :nafo: 🎄 Jolly Centaur :nafo: :02_gao:
    • Chad Warden :pleromatan:
    @CentaurBreeder @kirby Not transphobic enough for my tastes smh
    In conversation Tuesday, 13-Jun-2023 15:37:42 JST from pleroma.mercurial.blog permalink
  12. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 11:24:54 JST MercurialBlack MercurialBlack
    in reply to
    • CEO of Monoeye Dating
    • meso
    @ceo_of_monoeye_dating @meso I don't see how a > b -> a - b > 0.
    In conversation Monday, 12-Jun-2023 11:24:54 JST from pleroma.mercurial.blog permalink
  13. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 11:24:52 JST MercurialBlack MercurialBlack
    in reply to
    • CEO of Monoeye Dating
    • meso
    @ceo_of_monoeye_dating @meso is that allowed? Manipulating both sides of a relation means applying a function which preserves the relation, so I'd think we'd need to prove that f(x) = x - b is monotonic
    In conversation Monday, 12-Jun-2023 11:24:52 JST from pleroma.mercurial.blog permalink
  14. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 11:24:51 JST MercurialBlack MercurialBlack
    in reply to
    • CEO of Monoeye Dating
    • meso
    @ceo_of_monoeye_dating @meso well yeah if we just accept the first thing as true then definitionally it's monotonic and there's nothing more to be done
    In conversation Monday, 12-Jun-2023 11:24:51 JST from pleroma.mercurial.blog permalink
  15. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 11:04:56 JST MercurialBlack MercurialBlack
    in reply to
    • CEO of Monoeye Dating
    • meso
    @ceo_of_monoeye_dating @meso The whole thing that sparked this was my trying to prove a>=b and c>=d, then a+c >= b+d. That is, the monotonicity of the real numbers with a preorder relation.
    In conversation Monday, 12-Jun-2023 11:04:56 JST from pleroma.mercurial.blog permalink
  16. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 11:04:55 JST MercurialBlack MercurialBlack
    in reply to
    • CEO of Monoeye Dating
    • MercurialBlack
    • meso
    @ceo_of_monoeye_dating @meso And I mean we need to be careful since >, < and >= don't exist in this case. I think equality still does, though, since a = b iff a <= b and b <= a.

    [edit: typo. <= to >=]
    In conversation Monday, 12-Jun-2023 11:04:55 JST from pleroma.mercurial.blog permalink
  17. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 10:35:43 JST MercurialBlack MercurialBlack
    in reply to
    • gav
    • meso
    @gav @meso Because we don't start with numbers we start with logic symbols, and then from there sets, and from there numbers.

    A lot of it is just being extremely thorough with definition.
    In conversation Monday, 12-Jun-2023 10:35:43 JST from pleroma.mercurial.blog permalink
  18. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 10:34:21 JST MercurialBlack MercurialBlack
    in reply to
    • mist
    • gav
    @gav @ai thing is ii = -1, iii = -i. iiii = 1. If i < 0, then i^n < 0, but this isn't the case since i^4 = 1. if 0 < i, then similarly we have the problem that i^n = -1 and 0 < -1 is a contradiction.

    We can define some other total orderings on C, I think, but can't use the standard one that applies to R.
    In conversation Monday, 12-Jun-2023 10:34:21 JST from pleroma.mercurial.blog permalink
  19. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 10:33:53 JST MercurialBlack MercurialBlack
    in reply to
    • mist
    @ai Right, right. One such being literally just >= := <=
    In conversation Monday, 12-Jun-2023 10:33:53 JST from pleroma.mercurial.blog permalink
  20. MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 10:33:37 JST MercurialBlack MercurialBlack
    in reply to
    • mist
    • MercurialBlack
    @ai I'm at the point where if its beyond Tarski–Grothendieck then I don't accept it as an axiom I am broken
    In conversation Monday, 12-Jun-2023 10:33:37 JST from pleroma.mercurial.blog permalink
  • After
  • Before

User actions

    MercurialBlack

    MercurialBlack

    Tags
    • (None)
    ActivityPub
    Remote Profile

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          25532
          Member since
          7 May 2023
          Notices
          266
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          ０７６萌ＳＮＳ is a social network, courtesy of ０７６. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All ０７６萌ＳＮＳ content and data are available under the Creative Commons Attribution 3.0 license.