This is about Unix stderr, not about Gauss's Central Limit Theorem and related statistical topics.
This is awesome
As far as I can remember, Wainer doesn't really assert that the equation is known as "de Moivre's equation", that's just what he calls it in the context of his article.