Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Tarskis_circle-squaring_problem> ?p ?o }
Showing triples 1 to 64 of
64
with 100 triples per page.
- Tarskis_circle-squaring_problem abstract "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's decomposition uses about 1050 different pieces.In particular, it is impossible to dissect a circle and make a square using pieces that could be cut with scissors (that is, having Jordan curve boundary). The pieces used in Laczkovich's proof are non-measurable subsets.Laczkovich actually proved the reassembly can be done using translations only; rotations are not required. Along the way, he also proved that any simple polygon in the plane can be decomposed into finitely many pieces and reassembled using translations only to form a square of equal area. The Bolyai-Gerwien theorem is a related but much simpler result: it states that one can accomplish such a decomposition of a simple polygon with finitely many polygonal pieces if both translations and rotations are allowed for the reassembly.It follows from a result of Wilson (2005) that it is possible to choose the pieces in such a way that they can be moved continuously while remaining disjoint to yield the square. Moreover, this stronger statement can be proved as well to be accomplished by means of translations only.These results should be compared with the much more paradoxical decompositions in three dimensions provided by the Banach–Tarski paradox; those decompositions can even change the volume of a set. However, in the plane, a decomposition into finitely many pieces must preserve the sum of the Banach measures of the pieces, and therefore cannot change the total area of a set (Wagon 1993).".
- Tarskis_circle-squaring_problem wikiPageExternalLink books?id=_HveugDvaQMC&pg=PA169.
- Tarskis_circle-squaring_problem wikiPageExternalLink b44h1her.pdf.
- Tarskis_circle-squaring_problem wikiPageID "216811".
- Tarskis_circle-squaring_problem wikiPageLength "4290".
- Tarskis_circle-squaring_problem wikiPageOutDegree "24".
- Tarskis_circle-squaring_problem wikiPageRevisionID "600390057".
- Tarskis_circle-squaring_problem wikiPageWikiLink Alfred_Tarski.
- Tarskis_circle-squaring_problem wikiPageWikiLink Area.
- Tarskis_circle-squaring_problem wikiPageWikiLink Axiom_of_choice.
- Tarskis_circle-squaring_problem wikiPageWikiLink Banach_measure.
- Tarskis_circle-squaring_problem wikiPageWikiLink Banach–Tarski_paradox.
- Tarskis_circle-squaring_problem wikiPageWikiLink Bolyai-Gerwien_theorem.
- Tarskis_circle-squaring_problem wikiPageWikiLink Category:Discrete_geometry.
- Tarskis_circle-squaring_problem wikiPageWikiLink Category:Euclidean_plane_geometry.
- Tarskis_circle-squaring_problem wikiPageWikiLink Category:Geometric_dissection.
- Tarskis_circle-squaring_problem wikiPageWikiLink Category:Mathematical_problems.
- Tarskis_circle-squaring_problem wikiPageWikiLink Compass-and-straightedge_construction.
- Tarskis_circle-squaring_problem wikiPageWikiLink Constructive_proof.
- Tarskis_circle-squaring_problem wikiPageWikiLink Crelles_Journal.
- Tarskis_circle-squaring_problem wikiPageWikiLink Disk_(mathematics).
- Tarskis_circle-squaring_problem wikiPageWikiLink Fundamenta_Mathematicae.
- Tarskis_circle-squaring_problem wikiPageWikiLink Jordan_curve.
- Tarskis_circle-squaring_problem wikiPageWikiLink Jordan_curve_theorem.
- Tarskis_circle-squaring_problem wikiPageWikiLink Journal_of_Symbolic_Logic.
- Tarskis_circle-squaring_problem wikiPageWikiLink Miklós_Laczkovich.
- Tarskis_circle-squaring_problem wikiPageWikiLink Non-measurable_set.
- Tarskis_circle-squaring_problem wikiPageWikiLink Non-measurable_subset.
- Tarskis_circle-squaring_problem wikiPageWikiLink Nonconstructive_proof.
- Tarskis_circle-squaring_problem wikiPageWikiLink Paradoxical_decomposition.
- Tarskis_circle-squaring_problem wikiPageWikiLink Paradoxical_set.
- Tarskis_circle-squaring_problem wikiPageWikiLink Polygon.
- Tarskis_circle-squaring_problem wikiPageWikiLink Square.
- Tarskis_circle-squaring_problem wikiPageWikiLink Square_(geometry).
- Tarskis_circle-squaring_problem wikiPageWikiLink Squaring_the_circle.
- Tarskis_circle-squaring_problem wikiPageWikiLink Volume.
- Tarskis_circle-squaring_problem wikiPageWikiLink Wallace–Bolyai–Gerwien_theorem.
- Tarskis_circle-squaring_problem wikiPageWikiLinkText "Tarski's circle-squaring problem".
- Tarskis_circle-squaring_problem wikiPageWikiLinkText "Tarski's_circle-squaring_problem".
- Tarskis_circle-squaring_problem wikiPageWikiLinkText "circle-squaring by dissection".
- Tarskis_circle-squaring_problem hasPhotoCollection Tarskis_circle-squaring_problem.
- Tarskis_circle-squaring_problem wikiPageUsesTemplate Template:Citation.
- Tarskis_circle-squaring_problem wikiPageUsesTemplate Template:Harv.
- Tarskis_circle-squaring_problem wikiPageUsesTemplate Template:Harvtxt.
- Tarskis_circle-squaring_problem subject Category:Discrete_geometry.
- Tarskis_circle-squaring_problem subject Category:Euclidean_plane_geometry.
- Tarskis_circle-squaring_problem subject Category:Geometric_dissection.
- Tarskis_circle-squaring_problem subject Category:Mathematical_problems.
- Tarskis_circle-squaring_problem hypernym Challenge.
- Tarskis_circle-squaring_problem type FootballMatch.
- Tarskis_circle-squaring_problem comment "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.".
- Tarskis_circle-squaring_problem label "Tarski's circle-squaring problem".
- Tarskis_circle-squaring_problem sameAs Quadrature_du_cercle_de_Tarski.
- Tarskis_circle-squaring_problem sameAs בעיית_תרבוע_העיגול_של_טרסקי.
- Tarskis_circle-squaring_problem sameAs Laczkovich-tétel.
- Tarskis_circle-squaring_problem sameAs Kwadratura_koła_Tarskiego.
- Tarskis_circle-squaring_problem sameAs Problema_círculo-quadrado_de_Tarski.
- Tarskis_circle-squaring_problem sameAs m.01fr72.
- Tarskis_circle-squaring_problem sameAs Квадратура_круга_Тарского.
- Tarskis_circle-squaring_problem sameAs Q926112.
- Tarskis_circle-squaring_problem sameAs Q926112.
- Tarskis_circle-squaring_problem sameAs 塔斯基分割圓問題.
- Tarskis_circle-squaring_problem wasDerivedFrom Tarskis_circle-squaring_problemoldid=600390057.
- Tarskis_circle-squaring_problem isPrimaryTopicOf Tarskis_circle-squaring_problem.