New math post on my blog: A maybe-interesting number trick? https://blog.plover.com/math/GF32.html

New math post on my blog: Ron Graham has died https://blog.plover.com/math/graham.html

https://math.stackexchange.com/questions/3691414/doesnt-0-overline9-1-lead-to-consequences-like-a-0-overline01-a-and-2-1#comment7585973_3691414

Bill Gasarch asks: why is there no grid for Hilbert's 10th? https://blog.computationalcomplexity.org/2020/05/why-is-there-no-dn-grid-for-hilberts.html

What he wants to know is, for which pairs (d,n) can we algorithmically find integer solutions to degree-d n-variable polynomial equations, and for which pairs is it undecidable. The answer seems to be: we can solve them when d ≤ 2, we can't solve them for some pairs of larger numbers, and there's a big gap of unknown pairs.

If you want to go the jargon route, you can distill it down to once sentence, something like “Take an irreducible polynomial X of degree k over the finite field GF(p) and compute the quotient ring GF(p)[x] /‹X›, what's so hard about that?”

But of course such an answer is useless to almost anyone who doesn't already know it.

Found in Friedman's _A History of Folding in Mathematics_, p. 71, a quote from Francesco Maurolico from 1537: "Item manifestum est in unoquoque regularium solidorum, numerum basium coniunctum cum numero cacuminum conflare numerum, qui binario excedit numerum laterum".

Except for the fact that he considers only Platonic solids, this is Euler's formula V-E+F=2 for convex polyhedra (in the equivalent form V+F=E+2), long before Euler (1752) and Descartes (1630).

Housebound advice from a long-term housebound person, boosts ok

I'm going to post a long thread on how to cope better if you're stuck indoors at the moment. I've been housebound by disability for a long while now, and sporadically housebound due to depression and agoraphobia before that. These are things that have improved how I deal with that. This is not gonna make houseboundness painless for you but it might help you cope. Disabled comrades are welcome to share their own advice to this thread.

It's easy to obtain Pennsylvania mail-in ballots : https://www.votespa.com/Pages/default.aspx

> *normal mathematician*: Look at this theorem I proved!

> *category theorist*: By thinking deeply about your result I was able to prove a far-reaching generalization of it.

> *normal mathematician*: Cool! What are some other examples of it?

> *category theorist*: …

Ouch.

- Good blog
- https://blog.plover.com/

- Crappy blog
- https://shitpost.plover.com/

- Totemic animal spirit
- Octopus

I am an amateur mathematician, but not the angle-trisecting kind.

Joined May 2017