Kameryn

@kameryn
178 Followers
107 Following
140 Posts

Idle thoughts.

🦄🔢♋☭
they/them

KamerynNov 19, 2022

In an effort to minimize spamming people's timelines with shit they don't care about, I made a separate account for mathsposting, reserving this one for other interests. If that's why you followed me, go follow @[email protected]

https://mathstodon.xyz/@kameryn

Kameryn Williams (@[email protected])

1 Post, 12 Following, 17 Followers · logician and mathematician in big Texas ∞ they/them

Mathstodon
KamerynNov 17, 2022
Show threadSakaé Fuchino　🔵Nov 17, 2022
@kameryn
KamerynNov 17, 2022
Leonardo PachecoNov 17, 2022

A small survey I wrote on reflection principles in second-order arithmetic is now online. I’ll write a toot sketching _what_ are these reflection principles tonight.

https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2228-07.pdf

#Logic #ReverseMathematics

KamerynNov 16, 2022
I will not stop calling toots toots and I will not edit my toots. This is my mastodon promise.
Show threadKamerynNov 15, 2022
Some googling reveals that the names at the top of the essay are almost certainly pseudonyms, but I'm curious about the makeup of their students. I know others associated with the JMC group that published this (a group that overall I think is good!) and they're at reasonably fancy places. Are these authors also teaching students at competitive, prestigious institutions? Seems reasonably likely.
KamerynNov 15, 2022

Found an essay that describes students cheating on exams as "mutual aid" and "a subversive protest".

https://justmathematicscollective.net/cheating.pdf

KamerynNov 14, 2022
Furthermore, at least so far, category theory hasn't even been useful for ANY of our dramatic foundational revelations. The really useful tool for uncovering the dramatic foundational revelations has always been through the usual standard classical set theoretic foundations.
KamerynNov 13, 2022
#mathematics #MathFact #NumberTheory #ShiverInEctasy
KamerynNov 11, 2022
Eugen RochkoNov 11, 2022
Having been here since 2016, I can tell you there is definitely no such thing as a consensus on usage of content warnings on the fediverse. It's a decentralized network that doesn't belong to any one party, so by definition there is no single culture on it. Different corners have different expectations and customs.
KamerynNov 10, 2022
I feel bad for Eugen that he's getting blame for everyone's problems with Mastodon, even when people are complaining about technical or cultural features that were pushed by others.