Tag Archives:: Demostración matemática

Todos los culebrones tienen un final. Tras seis años de incertidumbre ya sabemos que la conjetura abc sigue siendo una conjetura. Peter Scholze (medalla Fields en el ICM 2018 de Río de Janeiro, Brasil) y Jakob Stix han encontrado un error en la demostración de Shinichi Mochizuki de la conjetura abc. Tras varios meses de espera se confirma que […]

Los ordenadores hacen posibles demostraciones matemáticas más largas de lo que un humano puede escribir en muchas vidas. La más larga ocupa 200 terabytes (Tb), unos 200 millones de millones de caracteres; el récord anterior era una prueba de 13 Tb obtenida en 2014. Se ha demostrado que el problema del coloreado de ternas pitagóricas no tiene solución para […]

La respuesta parece obvia: porque son verdad. Sin embargo, nuestra confianza en la veracidad de las demostraciones de los teoremas está basada en factores sociales y psicológicos (sesgos cognitivos). Una demostración correcta hace 200 años puede generar dudas a muchos matemáticos en la actualidad. ¿Generarán dudas similares dentro de 200 años las demostraciones actuales de teoremas matemáticos?. Discute esta […]