9 Aug
2020
9 Aug
'20
11:16 p.m.
from three hilberts <http://gosper.org/3hilbthets.png> and three draguns <http://gosper.org/3dragthets.png> at theta constants. Such identities seem rather abundant, but probably not reliably enough to find a formula with a parameter. —rwg There's a pretty good chance I can find a closed form for a terDragon[𝜗[]] or two. —rwg I think these formulas can be proved with finite-state machines, but I'll just settle for a hundred digits.