Problema de quadrar el cercle de Tarski
El problema de quadratura del cercle de Tarski és el repte, plantejat per Alfred Tarski el 1925,Plantilla:Sfn d’agafar un cercle, tallar-lo en un nombre finit de peces i tornar-lo a muntar per obtenir un quadrat de la mateixa àrea. Miklós Laczkovich va demostrar que això era possible el 1990;Plantilla:Sfn la seva descomposició fa un ús intens de l'axioma d'elecció i, per tant, no és constructiva. Laczkovich va estimar el nombre de peces de la seva descomposició en aproximadament . Més recentment, Andrew Marks i Spencer Unger (2017)Plantilla:Sfn han donat una solució completament constructiva mitjançant conjunts de Borel.
Vegeu també
- Quadratura del cercle; un problema geomètric diferent, que consisteix en construir amb regle i compàs un quadrat de la mateixa superfície que un cercle donat. Construcció que s'ha demostrat impossible, ja que involucra nombres no construïbles.