![]()
¿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…