23.2.12

1631.- Nash, cranks, y pseudociencia en matematicas - CdM

Revisando la carta de Nash, cuyo secreto ha sido levantado recientemente (aquí esta escaneada en un pdf, las respuestas oficiales, las opiniones de los evaluadores(1)), me causa gracia la línea donde aclara que -por estar escrita a mano, etc.- no piensen que él es un crank. También menciona a Huffman, con quien dice que discutió algunas ideas, señala que es Assitant Proffesor de matemáticas, y que si bien no puede demostrar su conjetura ni cree que pueda ser demostrada, espera que sea considerada pronto por los expertos en el tema...

Todas, claro, conductas propias de un crank.

* * *


Existen miles de páginas sobre pseudociencias que incluyen kits de detección de estas cosas. Entre los métodos más conocidos están el Baloney Detection de Shermer basado en el Art of Baloney Detection de Sagan, los Seven Warning Signs of Bogus Science de Park, y el Crackpot Index de Baez.

En general no están pensadas para las matemáticas, porque entre nosotros los crancks suelen aparecer con demostraciones de resultados falsos (trisección, duplicación del cubo, numerabilidad de los reales...) ó de problemas abiertos difíciles (Fermat(2), P vs NP...), pero justo en este caso es parcialmente aplicable: un código unbreakable, mejor dicho, un método general para generar códigos así, se parece mucho a un móvil de movimiento perpetuo.

Muchas veces tuve ganas de chequear estos métodos contra eventos del pasado. Lo hice con Semmelweiss, pero la historia en sí es triste: confirma que era un crank y que su propuesta, pseudociencia. En este caso en particular es divertido. Veamos qué pasa!

* * *


Apliquemos el Baloney Detection de Shermer y Sagan.

1. No hay datos, ni experimentos.

2. La fuente hizo afirmaciones similares (lo dice en la propia carta). Además, era conocido en Princeton por haber afirmado que había resuelto un problema de inmersiones isométricas de variedades 'módulo algunos detalles técnicos'. En una carta del '53, Ambrose (quien le había dicho a Nash que si era tan bueno resolviera ese problema) le dice a Halmos, que Nash estaba haciendo el ridículo, ignoraba lo más básico sobre ecuaciones diferenciales, y que era una suerte que ellos no lo hubiesen contratado.

3. No hay confirmaciones externas (peor aún, cree que no será demostrado lo que dice!)

4. Como encaja con lo que sabemos? Interesante punto... el tema es que no encajaba con nada de lo conocido. Un código que es posible descubrir, sólo que las cuentas son demasiadas, es una afirmación extraordinaria. Simplemente, la criptografía no funciona de esa forma..

5. Se exploraron caminos que contradigan la afirmación? No.

[6. La evidencia apoya o contradice la afirmación? Digamos que no se aplica a la situación, si bien todos los códigos hasta ese momento la contradicen.]

7. Emplea las reglas de razonamiento y las herramientas de investigación aceptadas? Amplía Shermer: conspiranoia [linda traducción para conspiratorial thinking], encubrimiento (governmental cover-ups...)... Mmmm... todo el tiempo propone un governmental cover-up sobre el tema, no vaya a caer en las manos incorrectas! Tampoco está claro que empleara las reglas de razonamiento aceptadas, dada la esquizofrenia...

[8 Da una explicación, o deniega la explicación conocida. 9 Si propone una nueva, explica todo lo que la vieja explicaba? No se aplican.]

10. Las creencias e inclinaciones personales apoyan las conclusiones o es al revés? [Esto es retorcido de determinar en general... ¡¿cómo se hace?! Tampoco me queda claro que sea buen parámetro en ningún caso.] Aquí, recordemos que en 1954 había sido expulsado de la RAND tras una redada policial donde había sido detenido (reciben la carta el 18-01-55, y la respuesta de la NSA es del 25-01-55). Y en sus propias palabras:

the staff at my university, the MIT, and later all of Boston were behaving strangely towards me. ... I started to see crypto-communists everywhere


* * *


Los otros métodos arrojan resultados similares.

Conclusión: El método es pseudociencia. CRANK, a la hoguera con él!

* * *


Aún así, tenía razón.

También es cierto que resolvió el problema de inmersión isométrica de variedades, en dos papers publicados en 1954 y 1956 ("sorprendente", dijo Chern en el review de la AMS). Seguramente en el '53 ya tenía resuelto el problema, como decía.

También probó un resultado fundamental sobre la continuidad de soluciones de ecuaciones elípticas y parabólicas (área donde no sabía lo mínimo, según decían), el teorema de Di Giorgi - Nash (no lo hicieron juntos, sino en forma independiente, y con métodos distintos)(3).

* * *


(1) "Panfleto", califican al reprint con su famoso resultado del equilibrio de Nash que le valió el Nobel 50 años después...

(2) Open closed by A Wiles.

(3) El propio Nash dice que si uno de los dos hubiese fallado, el otro hubiera recibido la medalla Fields. De todos modos, para 1958 sólo estaba publicado el resultado de Di Giorgi, y para 1962 su enfermedad estaba muy avanzada.


Para el Carnaval de Matematicas, esta vez en Scientia potentia est.

13.2.12

1630.- Elsevier

Anda dando vueltas un boicot a Elsevier, liderado por Gowers y apoyado por matemáticos de 1er nivel tales como Tao. Y pese a ser buenísimos matemáticos, las medidas que proponen son completamente ilógicas!

* * *


Las medidas contra Elsevier son tres:

  • No publicar papers en sus revistas.


  • No referear papers de sus revistas.


  • No ser editor de sus revistas.


  • Miremos con cuidado cada una, empezando desde la última.

    * * *


    Editorial Board: a ser editor se llega por invitación. Es un honor, y como tal, rechazable, pero creo que principalmente es un acto de servicio hacia las matemáticas. Lo triste es que justamente desde el Editorial Board de una revista es donde más se puede pelear por lo que importa: su calidad (no el precio, aclaremos, pero veremos que eso es secundario).

    Referees: acá ya no hay tanto acuerdo: el propio Tao dice que seguirá refereando porque entiende que es un servicio a la comunidad matemática, a sus integrantes. Como referees, es grande el poder que tenemos, y no deberíamos despreciarlo. ¿Nos piden el referato en 2 meses? Mala suerte, no creo que pueda..., y así con distintas cosas que no nos gusten, pero otra vez estamos apuntando al enemigo equivocado si dejamos de referear para una editorial determinada.

    Papers: acá la cosa es muy complicada. Los mismos que proponen el boicot aseguran que por la posición que ocupan, no les representa ningún problema publicar en uno u otro lado, no tienen presiones de IF, calidad de revistas, etc... pero no es el caso del resto del mundo, y son conscientes que no todos se pueden dar este lujo. Coincido con la idea de poner los papers en el arXiv, páginas personales, servidores de las universidades, etc. Me causa cierta gracia en este punto que algunos tengan papers ya enviados, pero no los retracten para reenviar a otros journals, pero bueno... también muchos rechazan ser editores sin que les hayan ofrecido serlo.

    Cabe aclarar que ese caracter voluntario que señalan se pasó muy rápido por alto: por ejemplo, no faltó quien propusiera (en nuestro país) que a partir de determinada fecha CONICET no aceptara los papers que los investigadores publicaran en Elsevier (!?).

    * * *


    Hay varios puntos anexos a este boicot y sería muy largo desarrollarlos acá: las revistas, los precios que cobran, las alternativas que se proponen. Los dejo para futuros posts.

    Igual, sigo sin entender por qué no se apunta a una medida más simple: en vez de firmar una solicitada en una página de internet [eh...! una solicitada en una página de internet!!] por qué no dejar de comprar las revistas de Elsevier? Ese es el único boicot que entendería una editorial.

    Imaginen los autores enviando sus papers a Elsevier y al arXiv, los referees y editores manteniendo la calidad, y las publicaciones sin demanda (bastaría mirar el Table of Contents y salir a bajarlo del arXiv). Ahí sería Elsevier la que se preguntaría qué hacer...

    10.2.12

    1629.- Papers que quisiera haber escrito (1)

    Sean sinceros, no quisieran agregar a su CV un paper con el título:

    Número de sobrevivientes en presencia de un demonio


    Se consigue el pdf en la página de los autores, pero está publicado aquí: Number of survivors in the presence of a demon, Louchard, Prodinger and Ward, Period. Math. Hung. 64, 2012.

    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.