Tag Archives:: Demostración matemática

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 […]