Lightnews — Scholar-powered news

Michael Kinyon

@profkinyon.bsky.social

1.4K followers 660 following 730 posts

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.

Posts Media Videos Starter Packs

Michael Kinyon @profkinyon.bsky.social · 6h

All yes/no? Just roll a 64-sided die, convert the number to binary, and there you go.

Michael Kinyon @profkinyon.bsky.social · 14h

I don't have a learning style but I am definitely a visual forgetter.

2 16

Michael Kinyon @profkinyon.bsky.social · 1d

Found at the end of a proof in this manuscript I've been working on:

"... we have the desi red result."

No lie, for a little over a half minute, I puzzled over what I could have possibly meant by "desi red".

2 11

Michael Kinyon @profkinyon.bsky.social · 2d

Concluding \begin{itemize} with \end{enumerate} like the buffoon that I am.

4 1 29

Michael Kinyon @profkinyon.bsky.social · 3d

Integration by vibes is the best technique

2 1 17

Michael Kinyon @profkinyon.bsky.social · 3d

I will not cease from Mental Fight,
Nor shall my Sword sleep in my hand:
Till I have found your items here
In Colorado's pleasant Land.

Unless you left them somewhere else.

Michael Kinyon @profkinyon.bsky.social · 4d

Remembering a professor who, in all sincerity, advised me, a grad student, that if you don't start a journal at some point in your career, you haven't succeeded.

Even at that point in my nascent career, I realized the guy was full of shit.

2 20

Michael Kinyon @profkinyon.bsky.social · 4d

I've never received more than one report in a mathematics journal. For context, I've been doing this job for about 33 years and I have 90something journal papers.

I think it depends a lot on specialty.

2 4

Michael Kinyon @profkinyon.bsky.social · 4d

I've never received two reports either, but I have been Reviewer 2 twice in the past couple of months. In both cases, Reviewer 1 submitted their report first, the author made changes, I got the revised version and ended up having very little to suggest.

1 1

Michael Kinyon @profkinyon.bsky.social · 5d

And now I get to have that song stuck in my head all day.

Do doo de-do-do de-do-do de-do-do de-do-do-doodle do do do-doo do!

Michael Kinyon @profkinyon.bsky.social · 5d

I mean, you kind of walked into that one

1 3

Michael Kinyon @profkinyon.bsky.social · 6d

Me: In this problem, if you're not sure what properties of the integers you're allowed to assume, just ask me.

Student: Can I assume Fermat's Last Theorem?

Me: Is that going to help you in some way?

S: Well, no, I just wondered if I can assume it anyway.

Me: 🙄

1 33

Michael Kinyon @profkinyon.bsky.social · 6d

Oooooh, the tunnel song, yes, of course, I was being stupid.

Michael Kinyon @profkinyon.bsky.social · 6d

Wait, which song is the creepy one?

1 1

Michael Kinyon @profkinyon.bsky.social · 6d

See the excellent answer by GEdgar:

math.stackexchange.com/questions/18...

Are the elements of a module also called vectors?

Are the elements of a module also called vectors? Or if someone says 'vector', are they talking only about a vector space? If no context is given, are there some standard assumptions?

math.stackexchange.com

1 6

Michael Kinyon @profkinyon.bsky.social · 6d

I just learned a little bit about iatromathematics and now I feel like I should lie down for a little while.

en.wikipedia.org/wiki/Iatroma...

Iatromathematicians - Wikipedia

en.wikipedia.org

2 1 5

Michael Kinyon @profkinyon.bsky.social · 7d

@timhenke.bsky.social How's your ã? One of my closest friends is a João and it took me a lot of practice to get his name right.

1 2

Michael Kinyon @profkinyon.bsky.social · 8d

I lived in South Bend for 14 years and even though I drove to Valparaiso a handful of times, I never made it as far as Hebron, so I never saw the famous sign. Ah well.

Michael Kinyon @profkinyon.bsky.social · 8d

Maybe my students will pay more attention if I have my class autotuned

2 10

Michael Kinyon @profkinyon.bsky.social · 8d

I recommend Smooth McGroove's videos if you haven't seen any. A capella renditions of video game music, including percussion and with no autotuning.

1 1

Michael Kinyon @profkinyon.bsky.social · 8d

Every time I teach integral calculus, I forget one of Wolfram Alpha's defaults:
∫1/√(1-x2)dx = arctan(x/√(1-x2)) + C
instead of
arcsin(x) + C

Invariably someone asks why it does that, I reply I don't know, write a note to myself to find out, and then...

Repeat the next time I teach the class

2 10

Michael Kinyon @profkinyon.bsky.social · 8d

As a superdeterminist, I would tell you my take, but it's been determined that I'm not going to.

Michael Kinyon @profkinyon.bsky.social · 9d

There's an artistic sensibility there that one cannot help but admire

1 1

Michael Kinyon @profkinyon.bsky.social · 9d

I just spent way too long trying come up with a joke combining "p-adic" with "Paddington Bear" and completely failed, so I decided instead to tell a self-deprecating story about how long I spent working on the joke.

3 12

Michael Kinyon @profkinyon.bsky.social · 9d

Yeah, they've been busy:

www.scribd.com/document/925...