363
after you pi (quokk.au)
you are viewing a single comment's thread
view the rest of the comments
[-] FishFace@piefed.social 10 points 16 hours ago* (last edited 14 hours ago)

Nope, the proof has been known since ~~ancient times~~ the 18th century!

[-] RobotFK@lemmy.blahaj.zone 3 points 9 hours ago

Thanks for the info :)

[-] mkwt@lemmy.world 11 points 15 hours ago

The proof is not that ancient. Pi was proven to be irrational in 1761, and proven to be transcendental in 1882.

For a long time the problem was known as "squaring the circle": Given a circle in a plane, construct a square with the same area using a compass and straightedge. This was a famous unsolved problem in mathematics from antiquity all the way through the renaissance.

[-] FishFace@piefed.social 4 points 13 hours ago

Thanks for the correction - misremembered that.

A slight clarification in return: the constructible numbers are a strict subset of the algebraic (i.e. non-transcendental) real numbers.

(The constructible numbers are those numbers resulting from the closure of the rational numbers under square roots.)

This means that although the proof of pi's transcendentality proved that squaring the circle is impossible, it could have been the case that pi was neither transcendental nor constructible. A simple example of such a number is the cube root of 2.

this post was submitted on 29 Mar 2026
363 points (98.4% liked)

Science Memes

19671 readers
3345 users here now

Welcome to c/science_memes @ Mander.xyz!

A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.



Rules

  1. Don't throw mud. Behave like an intellectual and remember the human.
  2. Keep it rooted (on topic).
  3. No spam.
  4. Infographics welcome, get schooled.

This is a science community. We use the Dawkins definition of meme.



Research Committee

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

founded 3 years ago
MODERATORS