Metadata
Author: Literature
Data
English[en]
For example, a 'proof' of the fourcolor theorem has recently been obtained with the help of computers.
Spanish[es]
Así por ejemplo, hace poco se ha obtenido con ayuda de computadores una «prueba» del teorema de los cuatro colores.