El teorema de los cuatro colores y la revolución de las matemáticas computacionales: un enigma de 100 años y la filosofía de la demostración por máquina
