Esta respuesta contiene spoilers para la novela Anathem de Neil Stephenson. Lea bajo su propio riesgo.
¿Aún conmigo? Bien.
Hay un momento maravilloso en Anathem , donde los protagonistas (un grupo de matemáticos teóricos y físicos que viven en un universo paralelo) obtienen su primera buena visión a través del telescopio de una nave espacial alienígena. Y ven una cosa en particular que los convence de que (a) los habitantes de la embarcación son formas de vida inteligentes, y (b) están interesados en la comunicación en lugar de la simple conquista.
¿Qué vieron ellos que sugirieron esto? Un diagrama geométrico, en particular, es el diagrama utilizado por Euclides para probar el Teorema de Pitágoras.
- ¿Alguna de las cincuenta ciudades más grandes del mundo 2050 estará ubicada en los Estados Unidos o Europa?
- ¿Qué predicen los historiadores sobre el futuro de América?
- ¿Cómo será la vida cotidiana en un país del primer mundo en 2050?
- ¿La religión tradicional / organizada alguna vez desaparecerá en el futuro?
- ¿Cuáles son las mejores compañías de robótica y qué productos notables han producido?
Los protagonistas no lo llaman “el teorema de Pitágoras”, por supuesto, ninguna persona como Pitágoras vivió en el pasado de su mundo. Y el diagrama en sí no es familiar para ellos: las pruebas “clásicas” de ese teorema en su propia historia tomaron diferentes caminos. Pero el académico senior del grupo puede ver el argumento completo solo mirando el diagrama, y los juniors pueden descubrir cómo debe ir la prueba en unas pocas decenas de minutos.
Ahora, ¿cuáles son los supuestos ocultos que hacen que este poco de narración vaya? Bueno, aparte de la suposición de que una inteligencia alienígena pensaría en geometría plana con curvatura cero … todo se trata de cómo la argumentación parece de alguna manera universal. Cualquier forma de vida inteligente tendrá que comunicarse y resolver las diferencias de ideas, incluso una especie de colmena probablemente tendrá múltiples colmenas con mentes diferentes. Y la voluntad de discutir significa la voluntad de no abrirse con violencia. Entonces podemos decir que cualquier entidad alienígena tendrá casi con certeza una noción de prueba en sus matemáticas, y como sabemos que nuestra noción matemática de prueba es (en un sentido preciso) la más fuerte posible, sugerimos firmemente que cualquier noción alienígena de prueba Será la misma noción, vestida con atuendo alienígena.
En cuanto a las matemáticas en sí mismas, por lo que podemos decir, hay algunos cuellos de botella muy difíciles de desechar cuando se trata de entender la cantidad, la forma y objetos de estudio similares bastante “concretos” (concretamente de acuerdo con los estándares matemáticos modernos). Las operaciones estándar sobre números naturales; la noción de fracciones; las nociones de longitud, área y volumen; y finalmente las relaciones que se mantienen entre las diversas cantidades medibles de una forma. El Teorema de Pitágoras es solo uno de estos (tiene la ventaja de ser fácil de exponer y completamente sorprendente visualmente). A medida que se acumulan las nociones, la cantidad de cuellos de botella “imperdibles” probablemente disminuya. No sé si los extraterrestres tendrán alguna teoría de grupo reconocible o si su “sistema numérico estándar” será Arquimediano, pero estoy bastante seguro de que tendrán probado, o al menos conjeturado, el teorema del número primo (y eso significa que tendrán una noción de logaritmos).