El teorema que probó un ordenador y encendió una guerra filosófica
Cuatro colores bastan para pintar cualquier mapa sin que dos regiones vecinas compartan color. La demostración de 1976 fue la primera que dependió de un ordenador comprobando miles de casos, y eso incomodó a muchos matemáticos. Buen caso para preguntarse qué cuenta como una prueba que un humano no puede verificar entera.
Wikipedia
AFAna FerrerConexiones
Trazadas y explicadas por personas: la razón es lo que las hace valiosas.
«Permite comparar dos crisis de legitimidad en la práctica matemática: en A la controversia es técnica (¿cuenta una prueba asistida por ordenador?), en B se trata de autoridad y aceptación social (¿qué ocurre cuando el autor evita la recompensa y la visibilidad?), mostrando cómo la comunidad negocia verificación, comprensión y reconocimiento.»
AFAna Ferrer'%2F%3E%0A%20%20%3Ccircle%20cx%3D'120'%20cy%3D'110'%20r%3D'220'%20fill%3D'%23ffffff'%20opacity%3D'0.04'%2F%3E%0A%20%20%3Ctext%20x%3D'44'%20y%3D'80'%20fill%3D'%23F2EFE9'%20opacity%3D'0.55'%20font-family%3D'IBM%20Plex%20Sans%2C%20sans-serif'%20font-size%3D'22'%20letter-spacing%3D'2'%3EWIKIPEDIA%3C%2Ftext%3E%0A%20%20%3Ctext%20x%3D'44'%20y%3D'250'%20fill%3D'%23F2EFE9'%20font-family%3D'Space%20Grotesk%2C%20sans-serif'%20font-size%3D'52'%20font-weight%3D'700'%3EEl%20%C3%BAnico%20problema%20del%20milenio%20resuelto%2C%20por%20un%20genio%3C%2Ftext%3E%0A%3C%2Fsvg%3E)
El único problema del milenio resuelto, por un genio que rechazó el premioArtículo«Pasar del teorema de los cuatro colores a la fórmula fractal muestra que la computación no solo certifica verdades mediante pruebas asistidas, sino que también genera objetos visualmente convincentes y de complejidad inabarcable, forzando a redefinir qué entendemos por comprensión y verificación.»
AFAna Ferrer
La fórmula de una línea que genera complejidad infinita al hacer zoomArtículo