El teorema de los 4 colores o las aproximaciones a la conjetura de Goldbach se han demostrado usando recursos informáticos, haciendo replantearse el concepto de demostración matemática.

Por esta razón, uno de los subtemas del XV Día escolar de las matemáticas, dedicado a matemáticas y computación, versará sobre la computación en la investigación y el desarrollo de la propia matemática.

En concreto, la conferencia central del DEM 2014 tratará de este tema y de las aplicaciones de la computación a distintas áreas de investigación matemática. La impartirá Tomás Recio, catedrático de Álgebra de la Universidad de Cantabria y llevará por título ¿Matemáquinas o Maquimáticas?. Se podrá ver por internet el día 12 de mayo.

Encontraréis más información en el portal del Día escolar de las matemáticas.