Menéame: comentarios [2125230]

#7 Una demostración matemática que nunca será revisada por un ser humano

takamura — Wed, 26 Feb 2014 13:37:17 +0000

no-humanas

Para algo existe la palabra 'inhumanas'.

» autor: takamura

#6 Una demostración matemática que nunca será revisada por un ser humano

Mister_Lala — Wed, 26 Feb 2014 06:30:07 +0000

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.

» autor: Mister_Lala

#5 Una demostración matemática que nunca será revisada por un ser humano

susyvor — Tue, 25 Feb 2014 21:45:50 +0000

#4 No es dupe. Esta está en castellano y tiene más información

» autor: susyvor

#4 Una demostración matemática que nunca será revisada por un ser humano

--51656-- — Tue, 25 Feb 2014 20:07:45 +0000

#0 Dupe: www.meneame.net/story/computadoras-ofrecen-soluciones-problemas-matema

» autor: --51656--

#3 Una demostración matemática que nunca será revisada por un ser humano

susyvor — Tue, 25 Feb 2014 19:57:11 +0000

#1 Corregido. Gracias

» autor: susyvor

#2 Una demostración matemática que nunca será revisada por un ser humano

--125581-- — Tue, 25 Feb 2014 19:53:24 +0000

" 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.

» autor: --125581--

#1 Una demostración matemática que nunca será revisada por un ser humano

Zydeco — Tue, 25 Feb 2014 19:42:46 +0000

Se escribe Erdős

» autor: Zydeco