1.2.12

1628.- No, y solo no

Probar un si y solo si entre dos resultados es habitual en matemáticas, pero vía el artículo de Jan Mycielski (Notices AMS 53(2), click to see the pdf for free), podemos ver que no siempre se tiene éxito en publicarlo.

Más aún, el record al respecto lo ha de tener Tarski, cuando envió al Comptes Rendus de la Acad. Sci. (Journal de Cauchy, pudo haberse llamado) de París una nota con el "si y solo si" entre:

  • Vale el axioma de elección,


  • Para todo conjunto A infinito, su cardinal es igual al de AxA.


  • Dos referees tuvo esa nota, de primerísimo nivel: Frechet y Lebesgue.

    * * *


    Frechet la rechazó: una implicación entre dos verdades tan bien conocidas no tenía importancia.

    Lebesgue también: una implicación entre dos resultados falsos no tenía ningún interés.