Michael Kinyon
profkinyon.bsky.social
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.
I am languid & bedeviled & hate nonassociative algebra
Happy birthday to one of my favourite haters, Charles Darwin
February 12, 2026 at 6:50 PM
If my history of mathematics class were automatically closed captioned, then today we are going to discuss Day Cart and Firm Ah.
February 11, 2026 at 6:38 PM
I remember when my very-out-of-touch-with-reality undergraduate differential geometry professor was baffled that no one in the class had ever heard the phrase "differential form". I guess he thought the prerequisite to his class was having already had the class.
Or, one could explain WHY d/dx works so well and also WHY there’s a dx in integrals, too.

I was taught differential forms forty years ago and found them absolutely revelatory.
February 10, 2026 at 9:24 PM
It's funny how whenever I read that so-and-so has a very influential substack, my brain immediately tunes out.
February 10, 2026 at 7:35 PM
*sigh* Sometimes being unable to have incorrect opinions is a real curse.
February 10, 2026 at 4:31 PM
Eating M&Ms for lunch and pretending I can tell the difference between the tastes of the different colors.
February 9, 2026 at 7:05 PM
Thanks to everyone who played along.
Poll results after 24 hours: The set of all x such that P

1️⃣ { x | P }
🟦🟦🟦🟦⬜️⬜️⬜️⬜️⬜️⬜️ (14)

2️⃣ { x : P }
🟦🟦🟦⬜️⬜️⬜️⬜️⬜️⬜️⬜️ (9)

3️⃣ { x ; P }
🟦🟦⬜️⬜️⬜️⬜️⬜️⬜️⬜️⬜️ (6)

4️⃣ { x s.t. P }
🟦🟦⬜️⬜️⬜️⬜️⬜️⬜️⬜️⬜️ (7)
February 7, 2026 at 8:58 PM
The first and second options are definitely the most common.

The third is still used in parts of central Europe. I have a colleague who uses it, much to his students' confusion.

The fourth is there just to mess with you all. 😁
The set of all x such that P

1️⃣ <a href="https://poll.blue/p/grBlDn/1" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x | P }
2️⃣ <a href="https://poll.blue/p/grBlDn/2" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x : P }
3️⃣ <a href="https://poll.blue/p/grBlDn/3" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x ; P }
4️⃣ <a href="https://poll.blue/p/grBlDn/4" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x s.t. P }

📊 Show results
February 6, 2026 at 10:16 PM
The set of all x such that P

1️⃣ <a href="https://poll.blue/p/grBlDn/1" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x | P }
2️⃣ <a href="https://poll.blue/p/grBlDn/2" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x : P }
3️⃣ <a href="https://poll.blue/p/grBlDn/3" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x ; P }
4️⃣ <a href="https://poll.blue/p/grBlDn/4" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x s.t. P }

📊 Show results
February 6, 2026 at 8:54 PM
While it's nice that we honor 18th century Swedish astronomer Anders Celsius, I can't help but wonder how Joe Centigrade felt about it.
February 6, 2026 at 4:58 PM
Me to students: It's fine to use the rotated A, rotated E and other symbols for taking notes, but please write in complete unabbreviated sentences in your homework. For clarity, I'll try to do the same when I write on the board.

The board, 20 minutes later:

Thm: G cyc gp, H ≤ G => H cyc.
Pf:...
February 5, 2026 at 10:42 PM
Reading over my old slides from my history of mathematics course and I found this gem:

"We will avoid the debate over whether the Renaissance was real or just an invention of 19th century historians. We will use the term as a marker for the period from roughly 1350-1550."
February 4, 2026 at 12:41 AM
Nah
February 3, 2026 at 10:15 PM
Wishing we could revive the word "sursolid". It's a wonderful word.
February 2, 2026 at 4:43 AM
I'm not going to post or link to it, but I just read an email addressed to Epstein where the writer, a neuroscientist, wrote: "Jeffrey, I remembered that you are an extraordinary mathematician...." 🤮
February 1, 2026 at 10:29 PM
Right! Time to grade this homework assignment the students turned in two weeks ago!

*continues to scroll bsky*
February 1, 2026 at 7:39 PM
How to humanize a proof found by an automated theorem prover that worked on it for several days:
1) Look at the last line. The prover proved "for all x,y, x=y".
2) Go to the beginning. There is a typo in one of the hypotheses.
3) Stare at a blank wall. Regret your life choices.
4) Repeat ad nauseum.
January 30, 2026 at 11:45 PM
"...Aristarchus has brought out a book consisting of certain hypotheses... His hypotheses are that the fixed stars and the sun remain unmoved, that the earth revolves about the sun on the circumference of a circle, the sun lying in the middle of the orbit..." -- Archimedes, _The Sand Reckoner_
See the solitary bright crater on the lower left? It's named after Aristarchus of Samos, who proposed that the Earth orbits the sun 1,800 years before Copernicus. An unbelievably insightful idea for its day (sadly ignored).

Image taken tonight by my tiny telescope.

#science #history 🔭👩🏾‍🔬
January 30, 2026 at 4:10 AM
The associate dean just sent around a message asking if anyone still uses clickers in classrooms. My brain immediately went to one particular kind of clicker, briefly wondering how anyone would use one in a mathematics class.
January 29, 2026 at 11:08 PM
Reposted by Michael Kinyon
Quick explanation of what it feels like to learn more advanced #mathematics. Specifically, how do you answer the question

"How many intersections do two algebraic varieties have?"

You could probably do this with any math subject tbh...

#mathsky #maths #scisky
January 28, 2026 at 9:11 PM
When my advisor taught calculus, he used the Stieltjes integral whenever possible. For "substitution" or integration by parts, he refused to introduce new variables, he'd just move stuff past the d, e.g.,

\int x cos(x) dx = \int x d(sin(x)) = x sin(x) - \int sin(x) dx = x sin(x) + cos(x) + C
I've learned recently from snooping on discussions about formalising explicit estimates in number theory that integration by parts
\\[ \int_a^b f'(x)g(x)dx = \big[f(b)g(b) - f(a)b(a)\big] - \int_a^b f(x)dg(x)\\]
can be done with a pair of functions \\(f,g\\) (on an interval in the reals, with […]
Original post on mathstodon.xyz
mathstodon.xyz
January 29, 2026 at 1:06 AM
Let p(n) denote the partition function, the number of ways of writing n as the sum of positive integers.

Heffernan-MacHale Conjecture: If p(n) divides n!, then
n ∈ { 1,2,3,7,9,10,11,12,14,15,16,17,18,19,20,21,24,28,32,33,39 }.

Verified for n ≤ 2x10^6. See oeis.org/A046668
January 28, 2026 at 12:00 AM
I'll let someone else write verses for analysis, topology, etc.
January 27, 2026 at 12:40 AM
Neugebauer on the purpose of historical studies
January 26, 2026 at 6:58 PM
To all who teach matrices/linear algebra, I highly recommend vol. 24, issue 1 (Jan. 1993) of The College Mathematics Journal, a special issue dedicated to the teaching of linear algebra. Different ways of interpreting matrix multiplication is one of the themes of the issue.
Teaching matrix mult, noticed that I mentally pick up the rows in the first and align them with the columns in the second before multiplying and adding, realised that that is actually the wrong way round: it makes more sense to pick up the columns in the second and align with the rows in the first.
January 25, 2026 at 5:49 PM