Toots for ProfKinyon@mathstodon.xyz account

Written by Michael Kinyon on 2024-12-04 at 01:47

For nearly ten years, I've had a phrase bouncing around in my head. I truly want to write a paper (or novel or play) with this title:

A Definition in Search of a Theorem

(Yes, this is a nonoblique reference to Luigi Pirandello's play Six Characters in Search of an Author)

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-11-13 at 18:51

=> View attached media

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-11-13 at 00:08

One of those days where I really want to accept cookies, but not the website kind.

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-11-12 at 16:41

Starting my lecture notes for today with a parenthetical remark

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-11-07 at 19:26

Someone recently asked me about my ontological commitments and I said I didn't think such things existed. They didn't get it.

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-11-06 at 15:00

Difficult to focus on work today. I wonder why.

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-11-05 at 16:52

I love the phrase "lazy evaluation" in programming language theory. To me it sounds like what you normally do when you grade quizzes and homework.

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-10-30 at 23:35

Should I talk about skeletons in tomorrow's category theory class? It is, after all, the correct date for it.

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-10-29 at 18:28

Since Pythagorean stuff is appearing again in the popular press, let me once more recommend The Pythagorean Proposition by Elisha S. Loomis (1852-1940). Depending on how they are counted, the book has about 360 proofs of the theorem. (I will not address the issue of how different they actually are.) It's not a book anyone would read front to back, but it's a lot of fun to flip through. A legal e-copy of the 1968 reprinting of the 1940 second edition can be found at the Education Resources Information Center of the US Department of Education:

https://files.eric.ed.gov/fulltext/ED037335.pdf

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-10-23 at 16:46

Me doing research today

=> View attached media

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-10-22 at 22:07

"A good mathematical puzzle, paradox, or magic trick can stimulate a child's imagination much faster than a practical application (especially if the application is remote from the child's experience), and if the 'game' is chosen carefully it can lead almost effortlessly into significant mathematical ideas." -- Martin Gardner (1979)

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-10-22 at 18:19

Oh sure, everyone celebrates when a new largest prime number is announced, but when I announce I've found a new smallest prime number, people say things like "please get out of my office" and "how were you ever given tenure?"

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-10-22 at 13:42

The proof of the pudding is left to the eater.

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-10-17 at 18:39

I just accidentally typed "snurjective" and now I very much want it to be a mathematical word.

"Snur" was a synonym for "snort", used by the turn-of-the-15th-to-16th-century English poet John Skelton:

https://www.oed.com/dictionary/snur_v

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-10-15 at 16:39

Enriched categories are those with diversified portfolios of hom-sets, they didn't just dump all their morphisms into crypto.

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-10-04 at 20:47

A mathematician uses first person plural in proofs to suggest to the reader that they are on a journey together. This is not dissimilar to Virgil guiding Dante through the Inferno.

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-09-30 at 21:23

"Free your mind" is left adjoint to "Forget I said anything"

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-09-30 at 15:42

My category theory class meets in the afternoons on Tuesdays and Thursdays, or as the class has decided, Tuesdays and coTuesdays.

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-09-30 at 01:57

I still think skeuomorphism should have a mathematical meaning

=> More informations about this toot | View the thread

Written by Michael Kinyon on 2024-09-18 at 02:36

Enjoying the lunar eclipse. Of course, I'm not looking directly at the moon, that's bad for your eyes.

=> More informations about this toot | View the thread

=> This profile with reblog | Go to ProfKinyon@mathstodon.xyz account