Resuelto un problema matemático que llevaba 400 años sin tener respuesta

Resuelto un problema matemático que llevaba 400 años sin tener respuesta

¿Cuál es la manera más eficiente de apilar naranjas o manzanas? Una pregunta que podría considerarse como insignificante, pero que llevaba más de 400 años sin respuesta científica. En 1611, el astrónomo y matemático alemán Johannes Kepler planteó, casi por pura intuición, que la mejor manera de apilar objetos esféricos era formando una pirámide, pero ni Kepler ni los que le han seguido han podido probar nunca esa conjetura.

Un pregunta cuya respuesta podría ser muy evidente, pero para demostrar científicamente el problema hacia falta de una buena dosis de cálculo. En 1998, Thomas Hales, de la Universidad de Pittsburgh, en Pennsylvania, desarrolló una serie de ecuaciones que probaban la validez de la conjetura de Kepler.

El estudio tenía 300 páginas, y las 12 personas encargadas de su comprobación tardaron cuatro años en comprobar todos los cálculos. Incluso así, el estudio de Hales solo probaba la teoría de la pirámide en un 99%. En 2003, Hales puso en marcha el proyecto Flyspeck, un software que pudiera probar sin sospecha de duda la teoría de Kepler.

Hales desarrolló dos programas llamados Isabelle y HOL Light. Ambos están especializados en aplicar relaciones de lógica en busca de errores en una teoría matemática. Este domingo, Isabelle y HOL Light han completado su análisis. La conjetura de Kepler es 100% correcta.

La noticia no solo es positiva para Hales, quien asegura haberse quitado 10 años de encima. Su éxito abre la puerta al desarrollo de aplicaciones para solucionar cuestiones matemáticas que siguen sin resolver debido a cálculos demasiado monótonos.

Visto en: newscientist.com





Síguenos en Facebook:



Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *