La última demostración matemática asistida por ordenador ocupa 16 Gb y es más grande que el contenido de toda la Wikipedia. Se trata de la demostración, para discrepancias de 1 y 2, del Problema de Larga Discrepancia de Erdős, propuesto en 1930 por el extravagante y prolífico matemático húngaro Paul Erdős. Estas "matemáticas no-humanas", en palabras de uno de los investigadores, son tan largas que no podrán ser revisadas por ningún ser humano por lo que algunos matemáticos se preguntan si deben formar parte de su disciplina.
Comentarios
#0 Dupe: Las computadoras ofrecen soluciones a problemas matemáticos que no podemos comprobar (ENG)
Las computadoras ofrecen soluciones a problemas ma...
io9.com#4 No es dupe. Esta está en castellano y tiene más información
" Estas "matemáticas no-humanas", en palabras de uno de los investigadores, son tan largas que no podrán ser revisadas por ningún ser humano por lo que algunos matemáticos se preguntan si deben formar parte de su disciplina. "
Discrepo. Las matemáticas tienen cientos de algoritmos, que, por largos que sean, se pueden usar junto con ese mismo ordenador para comprobar el resultado.
Dale a un ordenador unos axiomas y unas reglas de inferencia, y podrá deducir todos los teoremas que quieras. Tantos que ninguna persona podrá tampoco examinarlos.
Se escribe Erdős
#1 Corregido. Gracias
no-humanas
Para algo existe la palabra 'inhumanas'.