grey

@greytdepression

they/it/any

en/de
24
amateur math student
professional slash shipper and shitchoster
average math/programming/game dev enjoyer
proud parent of @JWST-live
asks always welcome :3
mutuals, feel free to dm on discord
might reblog light nsfw, be warned

itch.io

greytdepression.itch.io/

grey @greytdepression5/9/2024, 11:34 PM

gay math nerd @mathsbian

gay math nerd @mathsbian5/9/2024, 12:20 AM

@greytdepression asked:

okay, i want to hear what the other math history ramble would be about 👀
personally, i’d go with cantor-schröder-bernstein

Oh I was gonna go off about Ada Lovelace’s oft overlooked parentage.
So she’s the only legitimate daughter of Lord Byron¹.
And one of the reasons she got so into math and algorithmic problem solving was because her mother fully encouraged her more scientific pursuits and fully discouraged her more poetic or romantic pursuits, all in fear she’d turn out like dear old dad.
We got the first mechanical calculator because Lord Byron¹ was so over-the-top that one of his exes refused to let it happen again. Or, Lord Byron¹ is to blame for algorithms in computers ruining our lives today, sort of. Modern day tech is not really using the same definition of ‘algorithm’ as Lovelace. Hers is the version you learn in CS101. Theirs is mostly talking about automation.

But also oh my god I just read about Cantor-Schröder-Bernstein on Wikipedia and that definitely seems like there’s some drama there I need to find out.

corrected from Oscar Wilde (and her legitimacy), thank you @gmakes!

#Ada Lovelace #math history #algorithms #cs nerd #math nerd #computer science #CS history #mathematics #math #maths #lord byron

You must log in to comment.

in reply to @mathsbian's post:

@gmakes5/9/2024, 1:45 AM

Small correction! She was the only legitimate child of Lord Byron, not an illegitimate child of Oscar Wilde

gay math nerd @mathsbian5/9/2024, 2:40 AM

Fucking shit, at least I correctly remembered it was a gay icon

gay math nerd @mathsbian5/9/2024, 2:40 AM

I blame my brain fog and not having the spoons to bother double checking when i posted I’m gonna edit it

grey @greytdepression5/9/2024, 11:42 PM

sorry, i didn’t see your reply until now 😔

that’s really cool! 👀
i knew about ada lovelace, but i never heard anything about her family. very cool to hear!

i might make my own post about cantor-schröder-bernstein, but i would need to read up on it more beforehand so i get the details right (and find out all the dirt about schröder 😌). also i want to see schröder’s proof. because i know cantor proved the result using the axiom of choice (idk if it was formalized at that point but he essentially used it) which makes the proof trivial, and bernstein’s proof is what is taught today.
i might actually add an explanation of bernstein’s proof too since imo it’s not easy to understand and it took me learning it for a third time before it really clicked. i wanted to make more technical posts anyway :)

gay math nerd @mathsbian5/10/2024, 8:20 AM

Oh, you’re fine! It’s not like they give you a notification you’re ask got answered.
You should go for it! I’d love to know more about Schroeder’s involvement too tbh. Someone figured out his proof was flawed not too long before he died, so he didn’t get much of a chance to try correcting his proof and finding another method that wasn’t flawed in its logic. Wikipedia didn’t really give me much to go on in regards to what his proof even was, though I’m also v out of practice of remembering axioms and definitions and everything so maybe that’s just me and my brain fog

Paige @MxAshlynn7/25/2024, 10:37 PM

Amazing!

Pinned Tags