Una compañía británica, TheoryMine, ofrece la posibilidad de dar tu nombre a un teorema. A pesar de las apariencias, no es una de esas compañías fantasma que te vender el derecho a nombrar un objeto solar. En este caso se trata de teoremas de verdad, conjeturas generadas por ordenador a partir de ciertos axiomas y probadas por métodos automatizados. Es un procedimiento usado por fabricantes para comprobar algoritmos en ordenadores, y que aquí se emplea para que cualquiera pueda satisfacer su ego matemático.
|
etiquetas: matemáticas 
