Washington, 26 sep (PL) Un matemático australiano-estadounidense consiguió superar a una computadora en la resolución del problema de discrepancia de Erdos, informa hoy la revista The New Scientist.
Terence Tao, matemático de la Universidad de California, realizó la hazaña al presentar su demostración en 20 páginas frente al archivo de 13 gigabytes producido por un ordenador en 2014.
Tao publicó su demostración del problema de discrepancia de Erdos, que el matemático húngaro Paul Erdos formuló en la década de 1930.
El mismo parte de un infinito representado por una secuencia aleatoria de los números +1 y -1, y Erdos quería averiguar si tal secuencia siempre contendría patrones y estructuras dentro de la aleatoriedad.
Una posibilidad de hacerlo es calcular un valor conocido como la discrepancia, lo cual supone sumar todos los +1 y -1 dentro de cada posible subsecuencia.
A pesar de que se podría pensar que el resultado sería 0, Erdos afirmó que a medida que las subsecuencias se alargaban, la suma tendría que aumentar revelando una estructura inevitable, según The New Scientist.
En 2014, dos computólogos de la Universidad de Liverpool recurrieron a un ordenador para demostrar que la discrepancia será siempre mayor de dos; el archivo con el resultado final pesaba 13 gigabytes.
Tao, por su parte, optó por unos cálculos matemáticos más tradicionales para demostrar que la discrepancia es infinita independientemente de la secuencia que se escoja.
Matemático vence a computadora en la resolución de un problema
