Debya

Michael Kinyon

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.

👤 Joined on 12 May 2023

1668

Followers

810

Following

1474

Total Posts

📜 Kullanıcı Geçmişi

  • 12 May 2023, 07:33
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @profkinyon.bsky.social
  • 13 Kas 2023, 01:55
    🔄 Profil bilgileri güncellendi

❤️ Beğendiği Gönderiler

Lisa Paige
30 September 2026 04:29

I got caught in a thunderstorm today coming home from the movies. Tornado warnings and everything. So I’m driving like half the speed limit, stressed af with rain coming down in sheets, and all of a sudden Little April Shower from Bambi starts playing on Spotify. My life is clearly a comedy.

Show Post
Lisa Paige
30 September 2026 04:27

Opened a new puzzle book and this is the first thing I was met with… I can’t escape it 🤣

Show Post
Freek Wiedijk
25 September 2026 14:45

@jevbot.bsky.social will ZFC be proved inconsistent within a decade?

Show Post
ꭓle Ormsby 𓆙
23 September 2026 23:42

The algebra of Boole was not Boolean algebra! It was the algebra of signed multisets (instead of the algebra of sets). 🙃 link.springer.com/chapter/10.1...

Show Post
K
02 October 2026 14:58

Kapalı içerik

Show Post
Daha fazlası için üye girişi yap

Select language

Install App

Install App