Michael Kinyon's Avatar

Michael Kinyon

@profkinyon.bsky.social

Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Occasionally drop in at Mathstodon, but not as much as I used to.

1,483 Followers  |  699 Following  |  793 Posts  |  Joined: 12.05.2023  |  1.7536

Latest posts by profkinyon.bsky.social on Bluesky

I especially liked Des' remark about telling Boole about the AI mess but getting no reply.

08.12.2025 21:12 β€” πŸ‘ 0    πŸ” 1    πŸ’¬ 0    πŸ“Œ 1
Post image

George Boole died on this day in 1864. en.wikipedia.org/wiki/George_...

His biographer Des MacHale left these flowers at his grave today. en.wikipedia.org/wiki/Des_Mac...

08.12.2025 19:49 β€” πŸ‘ 13    πŸ” 5    πŸ’¬ 1    πŸ“Œ 0

Movie you’ve watched more than six times with a gif.
Hard mode: no Stars (Wars nor Trek), LOTR, or Marvel, Disney Animated or Pixar.

08.12.2025 04:50 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 3

I was the shadow of the waxwing slain
By the false azure in the windowpane

07.12.2025 21:42 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I feel the same way. I am a Michael, not a Mike.

07.12.2025 20:40 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Every day I am thankful that all it takes to verify my humanity is my ability to check a box.

07.12.2025 20:30 β€” πŸ‘ 14    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Wow, I complete forgot about that "Irish name, Irish name, German/Yiddish name" gag. I had to remind myself how the whole episode goes.

06.12.2025 21:34 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Honestly, I wouldn't hold back.

06.12.2025 21:08 β€” πŸ‘ 5    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I much prefer being mistaken over being incorrect, and I prefer being incorrect over being wrong.

On the other hand, if I'm right, I'm right.

06.12.2025 21:05 β€” πŸ‘ 14    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

The rain in Maine falls mainly on my mane.

06.12.2025 20:32 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Interestingly, Gibbs, in his 1881 "Elements of Vector Analysis" book (more like a pamphlet), just used the math typeface of his day for i,j,k.

An interesting historical question: when did the use boldface for vectors became common? I don't know the answer.

06.12.2025 19:11 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Yeah, I haven't seen complex exponentials being taught in calculus or below since the early 90's. They and the hyperbolic trig functions usually don't show up until differential equations courses.

28.11.2025 19:58 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

They were optional for a few years when I was just starting. But no one had time for them.

28.11.2025 19:46 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I guess it's one of the green ones. I wish they'd have narrowed it down further.

26.11.2025 22:25 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Same, I just doodle a right triangle and go from there. I've never taught hyperbolic trig functions in calculus classes.

26.11.2025 22:22 β€” πŸ‘ 8    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Typical instructions for algebra exercises:

"Simplify the following expressions. Assume that all variables are positive."

That second sentence is so important, and so often ignored or forgotten.

(Context: I just graded exams and every student simplified sqrt(x^2) to x instead of |x|.)

24.11.2025 23:26 β€” πŸ‘ 12    πŸ” 0    πŸ’¬ 4    πŸ“Œ 0
Abstract. I think this idea will work.

Abstract. I think this idea will work.

I hope my coauthor shares my optimism.

22.11.2025 19:02 β€” πŸ‘ 30    πŸ” 2    πŸ’¬ 1    πŸ“Œ 0

At one of those "clarity vs elegance" junctures in my writing of this paper. I'm greedy though, so I hope I'll figure out how to have both.

21.11.2025 21:01 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Well, it's the usual thing: automatic payment after the trial period unless you explicitly cancel. But the way I worded my question was pretty silly. :)

21.11.2025 16:40 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

While considering a purchase, I asked "how much does the free trial cost?" so now I have to walk from Denver into the Pacific Ocean.

20.11.2025 20:18 β€” πŸ‘ 10    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Now I have the Monty Python "Universe" song stuck in my head

20.11.2025 05:11 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I like rococo artwork in 25 minute intervals, each followed by a 5 minute break.

That is, I like pomodoro rococo.

20.11.2025 04:55 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
Post-Modern Algebra Buy Post-Modern Algebra on Amazon.com βœ“ FREE SHIPPING on qualified orders

www.amazon.com/Post-Modern-...

20.11.2025 04:50 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

To every map
in kern, in kern, in kern

18.11.2025 17:57 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Reading a paper that denotes the kernel of a mapping f by
"ker f" but the kernel of a mapping n is denoted by "kern".

18.11.2025 17:53 β€” πŸ‘ 10    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

K: Have you considered consulting a doctor about that?

Me: I am a doctor. I have a PhD in mathematics

K: No, I meant

Me: and therefore I am an expert in all scientific disciplines

14.11.2025 17:57 β€” πŸ‘ 18    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

Heck, he could tuck a cello under his chin

13.11.2025 19:30 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I think it's the *only* time I like to use the radical symbol.

11.11.2025 19:11 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Reminds me of this
bsky.app/profile/prof...

08.11.2025 02:46 β€” πŸ‘ 5    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I am more interested in hearing Link's nonverbal grunting.

07.11.2025 05:31 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

@profkinyon is following 20 prominent accounts