RT @joshuagrochow@twitter.com
History of math/CS question 👇. Anyone know?
Did Hilbert suspect that a negative answer to the Entscheidungsproblem would be so interesting/useful?
(Before going to original sources as I said below, I decided it'd be more efficient to see if anyone on here already knew.)
https://twitter.com/joshuagrochow/status/1520809354030501888
RT @joshuagrochow@twitter.com
Here's a purely algebraic question where the only answer I know goes through circuit complexity. Open question at the end!
OK, so the direct sum satisfies
det(A⊕B)=det(A)det(B)
perm(A⊕B)=perm(A)perm(B)
No biggie.
But what about sums instead of products? That is...1/5
🐦🔗: https://twitter.com/joshuagrochow/status/1519079301714382848
A few years ago I made this flow chart of which Mastodon posts end up in which timelines!
So, you can see how each instance will have a different local timeline, and even a slightly different federated timeline - and you can see why the federated timeline moves so much faster than the local one, too.
This is why it's important to boost good posts and use hashtags - the fediverse is fragmented and harder to search by nature.
Since there’s a lot of new people trying out Mastodon, something to be cautious about: your DMs can be read by admins of your instance and the instance of the recipient, and when your toots cross an instance boundary, it’s possible for your private toots to get boosted. Some of the privacy guards in place on platforms you’ve used before don’t work the same here.
Asst. Professor @ CU Boulder Comp. Sci. & Math; interested in theoretical computer science, pure mathematics, and complex systems. He/him/his. #BlackLivesMatter