This is an old revision of the document!


Archimedes constant π

Set

The constant $\pi$ is defined as the volume of the disc of radius $1$, where the underlying metric space is taken to be the two dimensional Euclidean space $\mathbb E^2$:

definiendum $\pi:=V_2(1)$

Discussion

  • $\pi = 3.14159\dots$
  • $\pi \approx \frac{22}{7}$

Reference

Parents

Context

Link to graph
Log In
Improvements of the human condition