Michael Kinyon

You're trapped in the last TV show you watched. Where are you?

We the people, in order to form a more perfect Union, will take the Complement of the Intersection of the Complements.

We hold these truths to be self-evident, that if a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side on which the angles are less than two right angles.

Lol, I knew this would happen. They are indeed very cool

I think it's the hyper-generalized one where the integral is over a chain homologous to zero. I haven't read Simon's stuff, but I vaguely recall other people calling it that.

Early 90s, I would say.

Nice!

When I was an undergrad, one of the physics professors had one that said "Hogwash!" He used it quite a bit.

"Disturbing"? Is that your way of saying "awesome"?

I know it's not a very good picture, but it's hard to take a good one with even a decent phone camera (I have a Pixel 8a). Still, it was fun to watch.

After it was over but before I could go home, I had to fight some bokoblins and lizalfos that had respawned. I hate it when that happens

A photo of the March 3 2026 lunar eclipse, aka, a blood moon

Witness the Blood Moon's rise. When its red glow shines upon the land... the aimless spirits of slain monsters return to flesh

In fact, a little more often than from time to time 🤣

I might have to save that for Wednesday

Tomorrow's history of math lecture is "Leibniz and the Bernoulli Bros.", which sounds like the name of a circus

Yep. The more things change, the more they stay the same

Beats me. I've never read those books and don't even know his name. One of my kids read the first two or three of the books shortly after they were published, but lost interest pretty quick.

It's the main character from the Diary of a Wimpy Kid books

I wasn't aware that qntm had made a novel out of their work on the Antimemetics Division. Good for them!

Really, I just wanted an excuse to use the word "supercilious" today 😁

By coincidence, I was just recently reading about Anton Schultze's quadrivigesimal (what a word!) system. It's very interesting!

Me, writing a proof of a "the following are equivalent" theorem:

"(2) implies (3) is trivial"

No, that's not supercilious enough

"Only a nincompoop would fail to see that (2) implies (3)"

No, that one would never get past the Editor

"(2) implies (3) is, of course, trivial"

Perfect

Great minds, JG, great minds

I don't think very much is known about Prüfer as a person. I've sometimes wondered if he was a heavy smoker since he died rather young of lung cancer. Or perhaps he was just unlucky.

Indeed. Any variety (in the universal algebra sense, i.e., class of algebraic structures axiomatized by universally quantified identities) without nullary operations includes the empty structure. The phrase "single axiom for groups" implicitly refers to nonempty structures satisfying the identity.

As someone who has never used anything beyond H^2, I have only planetesimal thoughts

The simplest known single axiom for groups in terms of multiplication & inverses:

((z * (x * y)^{-1})^{-1} * (z * y^{-1})) * (y^{-1} * y)^{-1} = x

(Source: K. Kunen. Single axioms for groups. J. Automated Reasoning 9 (1992), 291-308)

Describe your favorite games poorly:

Bringing one guy some blue pages and another guy some red pages

It was a joke, Barbara.

I blame the parents

It's associative so it's really just the empty group!