Notices by MercurialBlack (mercurialblack@pleroma.mercurial.blog), page 12
-
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 10:33:35 JST MercurialBlack @ai trash. Do I need to use field properties to get there? -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 10:32:49 JST MercurialBlack @ai -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 10:32:04 JST MercurialBlack @7666 @meso i love noncommutative addition -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 10:31:58 JST MercurialBlack @meso >t. hasn't read Principia Mathematica
Took mathematicians 362 pages to prove that
https://en.wikipedia.org/wiki/Principia_Mathematica -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 10:31:47 JST MercurialBlack @meso Axioms are things that are just assumed to be true, definitions are descriptions of things. I'm trying to figure out what axiom or definition makes it the case that x <= x + 1.
If we just assume that x is a natural number, we can just say that x <= y if, when treated as von Neumann ordinals, every set in x is also in y, but I don't think this is standard.
I think I'm missing some properties of real numbers. Something like, if y >= 0, then x + y >= x, and if y < 0, x + y < x.In conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 10:30:54 JST MercurialBlack @meso What are you getting confused about both your statements are true In conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 10:30:51 JST MercurialBlack @meso Well yeah both of those are true but what axiom or definition makes this true In conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 12-Jun-2023 10:30:42 JST MercurialBlack I've wasted an hour and a half trying to figure out how to prove that in the real numbers, x <= x + 1. There is no hope for me.
Ultimately trying to prove monotonicity. All I have to work with is the definition of a preorder (reflexive and transitive), definition of a monotonicity and a monotic map, and definition of real numbers. I think I'm missing something here.In conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Sunday, 11-Jun-2023 00:48:32 JST MercurialBlack @lain #finance In conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Tuesday, 06-Jun-2023 17:50:47 JST MercurialBlack @ren @matrix it's like '90% of gambling addicts give up before they win big', it's saying you'd be hot if you were just slightly more anorexic. In conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Tuesday, 06-Jun-2023 15:32:21 JST MercurialBlack @kirby dude theorytoe lmao In conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Tuesday, 06-Jun-2023 15:32:10 JST MercurialBlack @kirby @fba can you please not In conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Saturday, 03-Jun-2023 06:37:00 JST MercurialBlack @lain girlkill yourself In conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Wednesday, 31-May-2023 05:19:36 JST MercurialBlack @Tij as an ai language model kill yourself whore In conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 29-May-2023 22:27:26 JST MercurialBlack I really should go to more of those libertarian meetings they seem like nice and intelligent guys
They're all business or law majorsIn conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Monday, 29-May-2023 11:39:41 JST MercurialBlack @PurpCat it is In conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Sunday, 28-May-2023 04:48:20 JST MercurialBlack @unliver @Goup @dushman @meso @Zerglingman @vriska nah that was last night and the night before and the night before and... In conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Sunday, 28-May-2023 04:07:15 JST MercurialBlack @vriska ok boys let's start a hellthread right here right now @meso @Goup @Zerglingman @dushman @idfk In conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Sunday, 28-May-2023 04:03:27 JST MercurialBlack - Lina Inver:z:e :mur_close: :nuts:
- :btrfly: anime graf mays 🛰️🪐
- CEO of Monoeye Dating
- Machismo
- þernia
- meso
- Dushman
- Cream Queen :taxevasionpride: :asbestosprideangled: :rabiosexualpride:
- cyuu :arch:
- † top dog :pedomustdie:
- tomo
- Goup
- UsernameSwift
- Ollie
- SEJO
- anime graf mays 🛰🪐
- thevvesthasfallen
- Uneris :a2bcofe:
- niggerslaughterer1488
@meso @maija @dcc @Commander @Goup @creamqueen @dushman @usernameswift @tomo @ceo_of_monoeye_dating @Centaur @pernia @lina @niggerslaughterer1488 @thevvesthasfallen @cyuu @Zerglingman @unliver @graf @shitpisscum @graf :mesoblock: :GetThisMesoARape: In conversation from pleroma.mercurial.blog permalink -
MercurialBlack (mercurialblack@pleroma.mercurial.blog)'s status on Sunday, 28-May-2023 03:58:20 JST MercurialBlack - Lina Inver:z:e :mur_close: :nuts:
- :btrfly: anime graf mays 🛰️🪐
- CEO of Monoeye Dating
- Machismo
- þernia
- meso
- Dushman
- Cream Queen :taxevasionpride: :asbestosprideangled: :rabiosexualpride:
- cyuu :arch:
- † top dog :pedomustdie:
- tomo
- Goup
- UsernameSwift
- Ollie
- SEJO
- anime graf mays 🛰🪐
- thevvesthasfallen
- Uneris :a2bcofe:
- niggerslaughterer1488
@pernia @maija @dcc @Commander @Goup @creamqueen @dushman @meso @usernameswift @tomo @ceo_of_monoeye_dating @Centaur @lina @niggerslaughterer1488 @thevvesthasfallen @cyuu @Zerglingman @unliver @graf @shitpisscum @graf ok In conversation from pleroma.mercurial.blog permalink