Leibniz's Formula for Pi/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Leibniz's Formula for Pi

Leibniz discovered his formula for $\pi$ in $1673$.

He took great pleasure and pride in this discovery.

It's as if, by this expansion, the veil which hung over that strange number had been drawn aside.
-- Konrad Hermann Theodor Knopp

Simple as it is, Leibniz's Formula for Pi is inefficient, in that it needs hundreds of terms in order to calculate a few decimal places.

Some sources ascribe this formula to James Gregory.