![]()
¿Esto es Matemáticas?
Hoy comentamos un reciente resultado sobre matemáticas discretas y teoría de números que pone de nuevo el foco sobre el debate de si las pruebas con ordenador pueden ser consideradas pruebas matemáticas en un sentido estricto. Un problema que llevaba años sin resolver es el llamado de los triples pitagóricos booleanos. El problema en cuestión, que une dos nombre míticos en la historia de las matemáticas, Pitágoras y George Boole, se plantea de la siguiente forma: ¿Es posible colorear cada…