He considerado algunos de los desconocimientos e impresiones erróneas sobre las matemáticas (y la investigación científica en general) que pueden tener los no matemáticos. En matemáticas no hay nada que demostrar, sólo cosas que calcular. O todas las cosas importantes que hay que demostrar se establecieron hace mucho tiempo. O si todavía hay cosas que demostrar, es porque las preguntas restantes son increíblemente complicadas, o incomprensiblemente abstractas. O las preguntas restantes podrían ser místicas y no tener una respuesta correcta, sólo opiniones. Puede que los matemáticos contemporáneos sean mucho más inteligentes que sus predecesores porque disponen de potentes ordenadores. En cualquier caso, las aplicaciones -tecnología, salud, alguna otra ciencia que sea realmente interesante- podrían ser la razón seria para hacer matemáticas. O si no es eso, podría ser el puro ego y la adoración del héroe.
Para ser justos, muchos no matemáticos no tienen una visión tan deprimente de nuestra profesión. Sin embargo, pueden adoptarla muy rápidamente en respuesta a las malas explicaciones. Ciertamente, la mayoría de los no matemáticos tienen poco sentido de la moneda básica de la investigación en matemáticas puras: teoremas, pruebas, definiciones, conjeturas, problemas abiertos. Por lo general, tampoco saben que las matemáticas ya eran sofisticadas en el siglo XIX, que se ha logrado mucho en la primera mitad del siglo XX y que quedan muchos problemas abiertos. (Las matemáticas del siglo XIX son en gran medida invisibles en los periódicos. Por un lado, muy pocos lectores o periodistas la conocen; por otro, ciertamente no es noticia).
Para contrarrestar todo esto, me gusta debatir cuestiones que no sólo son accesibles y divertidas, sino que también tienen una narrativa histórica. La narrativa puede ir desde una pregunta fácil, a algún resultado del siglo XIX o principios del XX, a problemas abiertos. También puede citar grandes resultados de matemáticos que no sean los héroes más famosos. Creo que esto se puede hacer de muchas maneras, pero es importante ceñirse a explicaciones claras. He aquí un ejemplo y medio:
-
La teoría del nudo. ¿Es diferente un sobrehilado (un trébol) de una nada (un nudo)? ¿Es un overhand diestro diferente de uno zurdo? Sí y sí, según Heegaard, Tietze y Dehn de hace un siglo. ¿Hay nudos que no sean de mano? Por ejemplo, la figura del ocho. ¿Hay nudos no invertibles? Sí, pero eso es más difícil; sólo fue establecido en 1964 por Trotter. ¿Es posible distinguir cualquier par de nudos? Sí, como demostró por primera vez Haken a finales de los años 60. ¿Cómo se puede hacer? La mejor manera actual es con las ideas de Thurston, utilizando la geometría hiperbólica. (La geometría hiperbólica es entonces otro gran tema.) ¿Cuántos cruces hay que cambiar para convertir un nudo en otro? Ese es un gran problema abierto, aunque se ha resuelto en muchos casos interesantes. ¿Cuál es la solución más fácil para la primera de toda esta cadena de preguntas? Los movimientos Reidemeister y los 3 colores. Etc.
-
Curvas algebraicas reales. Las hipérbolas, parábolas y elipses son curvas cuadráticas. Una hipérbola tiene dos ramas, pero éstas son mitades de un óvalo que pasa por el infinito. ¿Cuántos óvalos puede tener en grados superiores? Un argumento indirecto te dice que no puedes tener un número ilimitado en ningún grado fijo. En el grado 4 puedes tener 4 óvalos; en el grado 6 puedes tener 11 óvalos. Harnack descubrió y demostró estos límites superiores en el siglo XIX. ¿Pueden los óvalos anidar de cualquier manera? No...