Vés al contingut

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]