jueves, 27 de mayo de 2010

La Conjetura de Hirsch, refutada por Francisco Santos


Impresionante. Un matemático de Cantabria ha conseguido refutar una conjetura de hace más de 50 años. Sobre poliedros y programación lineal. El algoritmo de Simplex. Una de las áreas matemáticas con más aplicaciones prácticas en los últimos tiempos.

Una conjetura es una afirmación que se supone cierta, pero que no ha sido probada ni refutada hasta la fecha. Una vez se demuestra la veracidad de una conjetura, ésta pasa a ser considerada un teorema de pleno derecho y puede utilizarse como tal para construir otras demostraciones formales.


http://www.madrimasd.org/blogs/matematicas/2010/05/23/131798