La ecuación de arriba usa algunos de los nuevos símbolos
matemáticos (en rojo) para demostrar una solución
alternativa para un desagradable problema de computación *.
Arte de la fórmula: Tauba Auerbach
Por 70 años, los matemáticos han estado estancados en el Halting Problem (Wikipedia: en la teoría computacional, es un problema de decisión que que indica que dada una descripción de un programa, decidir si el programa termina de correr o correrá para siempre): los computadores de manera ocasional se detienen en una línea de código y fallan al pasar a la siguiente línea y nadie ha podido predecir de forma confiable cuando ocurrirá. (El resultado es el eterno reloj de arena o la señal de colgado). Pero hace pocos años, el investigador de Microsoft Byron Cook y sus colegas hicieron lo impensable –piratearon un arreglo. Cuando Cook intentó describir la solución, sin embargo, descubrió que era imposible explicarla con los símbolos matemáticos existentes.
Decidió que la única opción era inventar nuevos símbolos. Cook telefoneó a una amiga, la artista Tauba Auerbach, y después de algunos meses de tormentas de ideas, los dos bosquejaron nueve símbolos, cada uno de los cuales indica una función de difícil descripción con la notación existente. Cook está aplicando estos símbolos en un libro sobre el Halting Problem y planea enviarlos para que sean incluidos en LaTeX, el programa de escritura por teclado que usan los matemáticos para publicar sus trabajos. "Los símbolos cambian con el tiempo", dice Cook. "Algunos realmente comunican lo que son después, algunos no. Aquellos que lo hacen se quedan". Se espera, que los símbolos de Cook permanezcan lo suficiente para asegurar un futuro libre de daños inesperados".
No hay comentarios:
Publicar un comentario