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@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.
I especially liked Des' remark about telling Boole about the AI mess but getting no reply.
08.12.2025 21:12 β π 0 π 1 π¬ 0 π 1George 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...
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.
I was the shadow of the waxwing slain
By the false azure in the windowpane
I feel the same way. I am a Michael, not a Mike.
07.12.2025 20:40 β π 2 π 0 π¬ 1 π 0Every 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 π 0Wow, 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 π 0Honestly, I wouldn't hold back.
06.12.2025 21:08 β π 5 π 0 π¬ 0 π 0I 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.
The rain in Maine falls mainly on my mane.
06.12.2025 20:32 β π 3 π 0 π¬ 0 π 0Interestingly, 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.
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 π 0They 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 π 0I 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 π 0Same, 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 π 0Typical 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|.)
Abstract. I think this idea will work.
I hope my coauthor shares my optimism.
22.11.2025 19:02 β π 30 π 2 π¬ 1 π 0At 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 π 0Well, 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 π 0While 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 π 0Now I have the Monty Python "Universe" song stuck in my head
20.11.2025 05:11 β π 2 π 0 π¬ 0 π 0I like rococo artwork in 25 minute intervals, each followed by a 5 minute break.
That is, I like pomodoro rococo.
To every map
in kern, in kern, in kern
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".
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
Heck, he could tuck a cello under his chin
13.11.2025 19:30 β π 4 π 0 π¬ 0 π 0I think it's the *only* time I like to use the radical symbol.
11.11.2025 19:11 β π 3 π 0 π¬ 0 π 0Reminds me of this
bsky.app/profile/prof...
I am more interested in hearing Link's nonverbal grunting.
07.11.2025 05:31 β π 3 π 0 π¬ 1 π 0