Look into “intuitionistic logic” and “constructive logic”

The alkylated benzene looks like a little bug guy. It has two legs, two arms, and two antennas

This looks more complex than it needs to be. We can just merge those two IFF soundnesses at the top and remove transitive implications and we are left with a straight line with a couple bifurcations to cul de sacs.

Also… I only know constructive logics and abstract interpretation with Galois connections… Where do they fit in this? 🥺

Now that I think about it, I think my teacher called it just “lussac’s law” because you cannot pronounce “Gay-Lussac” in front of a classroom of 14 year old boys. I guess you are right about the stories, but I’m not sure the name actually helps with that

I’ll admit that was a bit of a stretch. But I also think the naming thing is a problem. Especially in mathematics, even when it is not named after a person, you often have no clue about what it is from just the name (i.e. what do you think is a magma in mathematics?)

No, it’s my belief. I was forced to do statistics at school from a young age, and it polarized me.

It all started in kindergarten, when the teacher wanted us to take polls of stuff like favourite colours and such, and find the mode of the polls, and I didn’t want to pay attention to other kids’ favourite colours so mine were always wrong.

Then it continued through elementary, middle, and high school, and I often failed statistics tests, because they always had you calculate ludicrous amounts of differences and squares and means and I would inevitably make mistakes. My maths average was 9/10 regardless, but I hated statistics.

Then I had to take a statistics exam for my bachelor degree in computer science, and I failed and had to retake it next year.

Then I had to take a second statistics exam for my master’s degree in computer science that I’m pursuing right now. And I failed that and had to retake it.

And this is how I specialised in formal verification and abstract interpretation. Many such cases.

Say no to statistics altogether. If we form a compact front, we can eradicate the disease of statistics from the face of the earth.

As motivation, I’ll explain why statistics is only good for stealing:

• Statistics is used to invest in the stock market, which is stealing by definition
• Statistics is the foundation of modern AI, which as of now is mostly used for stealing work and intellectual property
• There is no real statistical research, but every other paper is forced to have a little useless graph and a p-value made by some statistician, who steals fame from the real researchers who made the rest of the paper
• Statistics is at the core of the gambling industry, which preys and steals from the elderly and economically weak
• Every fucking formula for calculating probability needs to have a “mathematician’s” name even if it’s always sums and scaling that a toddler could come up with. Remembering those names steals neurons from students
• Etcetera

Go on wplace and guess from the drawings where they live. Apparently it’s full of femboys and furries where I live, but I haven’t found any yet