Problema de quadrar el cercle de Tarski

De la Viquipèdia, l'enciclopèdia lliure

El problema de quadratura del cercle de Tarski és el repte, plantejat per Alfred Tarski el 1925,[1] 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;[2] 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)[3] han donat una solució completament constructiva mitjançant conjunts de Borel.

Vegeu també[modifica]

Referències[modifica]

  1. Hertel i Richter, 2003, p. 47.
  2. Laczkovich, 1990, p. 77 i ss.
  3. Marks i Unger, 2017, p. 581 i ss.

Bibliografia[modifica]