Another of Einstein's notable thought experiments about the nature of the gravitational field is that of a rotating disk (a variant of the Ehrenfest paradox). He imagined an observer performing experiments on a rotating turntable. He noted that such an observer would find a different value for the mathematical constant π than the one predicted by Euclidean geometry. The reason is that the radius of a circle would be measured with an uncontracted ruler, but, according to special relativity, the circumference would seem to be longer because the ruler would be contracted. Since Einstein believed that the laws of physics were local, described by local fields, he concluded from this that spacetime could be locally curved. This led him to study Riemannian geometry, and to formulate general relativity in this language.