Tarski's circle-squaring problem [SEP] named after
Tarski's circle-squaring problem
Tarski's circle-squaring problem is the challenge, posed by Alfred Tarski in 1925, to take a disc in the plane, cut it into finitely many pieces, and reassemble the pieces so as to get a square of equal area. This was proven to be possible by Miklós Laczkovich in 1990; the decomposition makes heavy use of the axiom of choice and is therefore non-constructive. Laczkovich estimated the number of pieces in his decomposition at roughly 10. More recently, in 2017
controversy, a 17th-century dispute in the philosophy of mathematics sparked by Hobbes' failed proof of squaring the circle
- For a more modern related problem, see Tarski's circle-squaring problem.
- The Indiana Pi Bill, an 1897 attempt in the Indiana state legislature to dictate a solution to the problem by legislative fiat.
- Squircle, a mathematical shape with properties between those of a square and those of a circle.
External links.
- "Squaring the circle" at the MacTutor History