909 karma · joined July 29, 2012
A 3x3 matrix can be viewed as something that acts on the standard unit basis vectors. The action on the standard unit basis vectors can be read out by looking at the columns. (A matrix times the ith standard basis vector is just the ith column.) Since the transform is linear, all the other points in space are carried along with the action as well. This is the "linear map" viewpoint of a rotation matrix.
I show an example here https://biro.ai/we-learned-the-wrong-way-to-matrix-multiply/ where this viewpoint lets you instantly see what a rotation matrix does by looking at the columns.
Features: open source, no registration, anyone with the link can join, fake money, copy/pastable auto-updating ledger
What do I do now?
If you knew the number of steps, I think you could only make a lower bound on spacing, not an upper bound. Since at worst all the steps could be clustered really close, except for the last one.
But now I have to think more because it seems like it should actually help the argument that the spacing gets finer and finer as you step, because that is what we want anyway. And is the number of steps actually important to the proof?
What does "increase by at least 0.5" mean? If my leading digits are 999, how do you increase them at all?
I agree though, density in (0,1) of the fracPart(log10(n!)) is a good thing to try to prove, since 10^fracPart(log10(n!)) should have the same digits as 10^intPart(log10(n!))*10^fracPart(log10(n!))=10^log10(n!)=n!
Red is the region where you lose, and Green is the region where you win.
and I found the survey question by searching with the filter Question > contains > "firearm."
At this point I'm tempted to say that the author's complaints with respect to data suppression are exaggerated.
> One question in the early test asks, “A man comes into town but his feet do not touch the ground. What is he riding?” The story goes that a young Native American boy responded, “A horse” to which the tester yelled, “Wrong! It’s a bicycle!”
The oracle you mention is the indicator function of the convex set. Instead of integrating this indicator function directly over Lebesgue measure to get volume, we can use MCMC to get the "expectation" of the oracle.
It's not obvious if we can realize the Riemann zeta function as an integral over a finite measure space, but if we could, I think MCMC could be used to evaluate it.