The non-algebraic-basis conjecture for pi

Let E ⁣LalgE\!L^{alg} be the field of algebraically based numbers, obtained from Q\mathbb{Q} by repeatedly adjoining algebraic numbers, exponentials, and logarithms of previously generated numbers. Non-algebraic-basis conjecture.

πE ⁣Lalg.\pi\notin E\!L^{alg}.

This conjecture would imply that the circle cannot be squared using straightedge, compass, and anglesectors. The source indicates that it follows from a stronger assumption, the Schanuel conjecture.

Sources & referencesView supporting material

Primary source

Luis Cruz and Sergiy Koshkin, “Can the quadratrix truly square the circle?”, arXiv:2406.14032 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.