Menéame: comentarios [2234866]

#46 Resuelven un problema matemático que llevaba 400 años sin solución

--275400-- — Wed, 13 Aug 2014 17:48:11 +0000

#45 Ni si quiera tengo coche, imagina... En cualquier caso, está claro que no era un chiste demasiado bueno.

» autor: --275400--

#45 Resuelven un problema matemático que llevaba 400 años sin solución

--126779-- — Wed, 13 Aug 2014 11:57:21 +0000

#44 a mi? que va! me pareció que era un comentario del típico "la investigación fundamental no sire para nada, lo que sirve es investigar para mejorar la potencia de mi coche"

» autor: --126779--

#44 Resuelven un problema matemático que llevaba 400 años sin solución

--275400-- — Wed, 13 Aug 2014 11:43:45 +0000

#22 En ningún momento he faltado el respeto, he hecho un chiste que está claro que no te ha sentado bien. Soy informático, y anda, ME ENCANTAN LAS MATEMÁTICAS.

» autor: --275400--

#43 Resuelven un problema matemático que llevaba 400 años sin solución

meneandro — Wed, 13 Aug 2014 08:37:14 +0000

#17 Probar las cosas "a mano" ha conseguido desarrollar múltiples herramientas matemáticas que han servido para construír el mundo en el que vivimos. Probar que 2+2 es cuatro se puede hacer juntando fichitas de colores o programando un ordenador para que sume dos palitos con otros dos palitos, pero es necesaria una prueba formal.

Que en la práctica, a la hora de aplicar teorías que todos dan por válidas pero nadie ha probado, usar un algoritmo para comprobar que se cumple en un rango de posibilidades X que necesitas para tu experimento puede ahorrarte mucho tiempo y dinero (o conseguir una prueba de que NO es cierta, lo cual también resulta un hito considerable y que reenfocaría los esfuerzos de muchos matemáticos), pero estos retos son los que hacen avanzar la matemática teórica y son muy necesarios (si es cierta y está probada, se puede usar la teoría para dar validez o refutar otras teorías, si no, todo queda en suspenso o hay que buscar otros métodos o formas de hacerlo)

» autor: meneandro

#42 Resuelven un problema matemático que llevaba 400 años sin solución

mariaalfaro — Wed, 13 Aug 2014 05:14:10 +0000

No les entiendo, sale una noticia "buena" y se ponen a decir estupideces o hacer apología política de algo que no es política... ¿les sobra el tiempo o qué? Menos mal que siempre quedan personas que analizan la noticia aportando valor, y no sigo porque no me sobra el tiempo. Saludos!

» autor: mariaalfaro

#41 Resuelven un problema matemático que llevaba 400 años sin solución

swapdisk — Tue, 12 Aug 2014 22:43:14 +0000

#18 Según Pratchett, suena PL , la otra mano hace AS

» autor: swapdisk

#40 Resuelven un problema matemático que llevaba 400 años sin solución

paco_camps_2011 — Tue, 12 Aug 2014 22:37:03 +0000

#18 ¿Cúal es ese acertijo? ¡¡Yo puedo aplaudir con una sola mano!! Lo mismo puedo ir a "Tú si que vales" y yo sin saberlo

» autor: paco_camps_2011

#39 Resuelven un problema matemático que llevaba 400 años sin solución

jmav — Tue, 12 Aug 2014 22:19:17 +0000

#37 Lo que han hecho es establecer las pruebas de Hales en soporte electrónico avanzado con el 100% de seguridad.

De:

es.wikipedia.org/wiki/Conjetura_de_Kepler

“En 1998 Thomas Hales anunció que había demostrado la conjetura de Kepler. Fue publicada en Annals of Mathematics. La comprobación de Hales es una demostración por casos en la que se prueban agrupamientos mediante complejos cálculos de computadora (ordenador). Hales formuló una ecuación de 150 variables que recogía cinco mil posibles agrupamientos de esferas iguales.

Los doce científicos seleccionados por Annals para realizar la revisión por pares comentaron que estaban al "99% seguros" de la exactitud de la prueba de Hales, pero que era imposible revisar los tres gigabytes de códigos. Sin embargo, el método utilizado por Hales en la demostración no es exhaustivo, por lo que no está dilucidado el problema. Por tanto, la conjetura de Kepler está más cerca de convertirse en un teorema.”

» autor: jmav

#38 Resuelven un problema matemático que llevaba 400 años sin solución

--127714-- — Tue, 12 Aug 2014 22:12:20 +0000

#2 Cállate ya retrasado, siempre con putos comentarios fuera de lugar absurdos.

» autor: --127714--

#37 Resuelven un problema matemático que llevaba 400 años sin solución

viktor — Tue, 12 Aug 2014 22:06:28 +0000

Una pena de artículo. Casi traduce el original, pero se deja la parte buena. La noticia no es que se haya resuelto este problema, sino cómo se ha hecho, usuando asistentes de software, y las puertas que esto abre.

www.newscientist.com/article/dn26041-proof-confirmed-of-400yearold-fru

On Sunday, the Flyspeck team announced they had finally translated the dense mathematics of Hale's proof into computerised form, and verified that it is indeed correct.

"This technology cuts the mathematical referees out of the verification process," says Hales. "Their opinion about the correctness of the proof no longer matters."

"It has been a huge effort," says Alan Bundy of the University of Edinburgh, UK, who was not involved in the work. He adds that he hopes Flyspeck's success will inspire other mathematicians to start using proof assistants. "A world-famous mathematician has turned his hand toward automated theorem proving, that kind of sociological fact is very important," he says. "This is a case study which could start to become the norm."

Ideally, proof assistants would work in the background as mathematicians puzzled through new ideas. Software can already prove some basic concepts by itself, but it could be easier to use. "We need some way of exploring the proof, getting a big picture," says Bundy. "To see everything in all the gory detail is just beyond us, as humans we can't absorb that much."

As for Hales, he's ready to move on. "I have a box full of ideas that I have set aside while working on this formal proof," he says. "Let's hope that the next project does not take 20 years!"

» autor: viktor

#36 Resuelven un problema matemático que llevaba 400 años sin solución

--410132-- — Tue, 12 Aug 2014 22:02:59 +0000

#7 ¿Que ganas con esos comentarios?

¿Te sientes mejor porque a ti te irá de puta madre?

» autor: --410132--

#35 Resuelven un problema matemático que llevaba 400 años sin solución

--392539-- — Tue, 12 Aug 2014 21:33:25 +0000

Kepler dijo que la mejor manera de apilar objetos redondos era en forma de pirámide.Si llego a nacer antes lo hubiera dicho yo, vaya boberia, es pura lógica. Otra cosa es demostrarlo, que eso ya no lo hizo. El mérito de la noticia es del matemático que le ha demostrado a kepler que no solo hay que decir las cosas al tun tun, si no que hay que demostrarlas.

» autor: --392539--

#34 Resuelven un problema matemático que llevaba 400 años sin solución

--280860-- — Tue, 12 Aug 2014 21:28:01 +0000

#2 Tu frutera te hecho droga en la fruta ,te veo muy lanzado.

» autor: --280860--

#33 Resuelven un problema matemático que llevaba 400 años sin solución

--165145-- — Tue, 12 Aug 2014 21:27:02 +0000

¿Y qué significa aquí eficience? Porque en la noticia no lo dice. Supongo (mejor dicho, creo recordar) que se refiere a minimalizar el volumen no ocupado por las manzanas. También faltaría explicar qué significa apilar en forma de pirámide, porque puede ser por ejemplo pirámide de base cuadrada o de base triangular (la triangular es la buena, creo).

En fin, interesante noticia, pero bastante imprecisa la verdad. Y lo cierto es que pensaba que estaba ya comprobado que era así, me ha sorprendido ver que estaba al 99% aún (signifique lo que signifique ese porcentaje).

» autor: --165145--

#32 Resuelven un problema matemático que llevaba 400 años sin solución

NeSilento — Tue, 12 Aug 2014 21:24:08 +0000

Yo también tengo algunos por ahí todavía sin resolver de cuando estudiaba. Le pasa a cualquiera.

» autor: NeSilento

#31 Resuelven un problema matemático que llevaba 400 años sin solución

jmav — Tue, 12 Aug 2014 21:24:00 +0000

“La conjetura de Kepler es 100% correcta. Johannes Kepler planteó, casi por pura intuición, que la mejor manera de apilar objetos esféricos era formando una pirámide”

Ahora se ha demostrado.

Con lo cual queda descartada la forma cónica.

Por si alguien no se ha percatado la base reside en la complejidad de poder demostrarlo mediante cálculos, más que la evidencia sobre la realidad de apilarlas.

» autor: jmav

#30 Resuelven un problema matemático que llevaba 400 años sin solución

limondelcaribe — Tue, 12 Aug 2014 21:13:08 +0000

Muy interesante y curioso. Lástima que los comentarios y esta noticia no serán ni lo uno no lo otro, una lástima.

Ya sabéis por quien lo digo.

» autor: limondelcaribe

#29 Resuelven un problema matemático que llevaba 400 años sin solución

--442656-- — Tue, 12 Aug 2014 21:09:35 +0000

Pues yo pensaba que fue Ana Botella la que resolvió el problema con las peras y las manzanas...Bueno, creo que lo que hizo fue crear otro problema cuando ya estaba resuelto.

» autor: --442656--

#28 Resuelven un problema matemático que llevaba 400 años sin solución

--448908-- — Tue, 12 Aug 2014 21:08:48 +0000

Esta noticia va con dobles para los agricultores españoles?

» autor: --448908--

#27 Resuelven un problema matemático que llevaba 400 años sin solución

ElCuraMerino — Tue, 12 Aug 2014 21:04:01 +0000

¿300 páginas para pedir una pizza? Que le quiten la subvención ya.

» autor: ElCuraMerino

#26 Resuelven un problema matemático que llevaba 400 años sin solución

efedoso — Tue, 12 Aug 2014 20:55:34 +0000

#24 Vas a su perfil y pulsas dos veces el icono de los amiguitos.

» autor: efedoso

#25 Resuelven un problema matemático que llevaba 400 años sin solución

GodAres — Tue, 12 Aug 2014 20:48:10 +0000

#7 De que clase has salido tu? Pero tu te escuchas??
#16 Si, habria sido mejor pero a veces es dificil.

#0 Buena noticia!

» autor: GodAres

#24 Resuelven un problema matemático que llevaba 400 años sin solución

EauDeMeLancomes — Tue, 12 Aug 2014 20:42:35 +0000

#16 esto... Yo pongo /ignore como en el IRC pero nada! No en serio.si se puede hacer eso dime como por que hay alguno pesado... De premio.

» autor: EauDeMeLancomes

#23 Resuelven un problema matemático que llevaba 400 años sin solución

--444258-- — Tue, 12 Aug 2014 20:30:06 +0000

#21 me leí el libro completo de como resolvieron la conjetura de Fermat , que dejó de ser conjetura , ahora es un teorema.

es.m.wikipedia.org/wiki/Último_teorema_de_Fermat

» autor: --444258--

#22 Resuelven un problema matemático que llevaba 400 años sin solución

--126779-- — Tue, 12 Aug 2014 20:27:15 +0000

#18 las matematicas son la herramienta de la fisica, que es la base en la que se sustenta la ingenieria, que es quien diseña los ordenadores desdelos que envias comentarios chorras a meneame. un respetito, coño.

» autor: --126779--

#21 Resuelven un problema matemático que llevaba 400 años sin solución

sorrillo — Tue, 12 Aug 2014 20:25:54 +0000

#17 Muchos problemas crecen de forma exponencial lo que hace que la fuerza bruta solo sirva para sus casos más simples.

La computación cuántica promete solucionar algunos de los problemas anteriores. Aunque de momento es solo eso, una promesa.

Y para muestra un botón, aquí tienes el Número de Graham que es el límite superior para un problema matemático del que aún no conocemos su solución: www.meneame.net/story/como-grande-numero-graham-explicado-propio-ron-g

Eso sí, sabemos que está creo que entre 13 y el número de Graham, buena suerte recorriendo todos los valores intermedios por fuerza bruta. Nos vemos en el próximo Universo.

» autor: sorrillo

#20 Resuelven un problema matemático que llevaba 400 años sin solución

--336278-- — Tue, 12 Aug 2014 20:19:54 +0000

#2 que coño tiene que ver la velocidad con el tocino, lo mismo que tu comentario con la noticia. A ver si se aprende a votar en las próximas elecciones.

» autor: --336278--

#19 Resuelven un problema matemático que llevaba 400 años sin solución

totem — Tue, 12 Aug 2014 20:15:52 +0000

#17 Eso no siempre es posible, ni mucho menos. Puede que sirva en algunos problemas, donde el numero de casos sea finito. Pero lo normal es encontrar infinitos casos a estudiar, en ocasiones incluso una cantidad no numerable. En ese tipo de problemas, la fuerza bruta, para obtener una demostración matemática, no sirve de nada.

» autor: totem

#18 Resuelven un problema matemático que llevaba 400 años sin solución

--275400-- — Tue, 12 Aug 2014 20:08:16 +0000

Nos hemos pasado 400 años apilando fruta en forma de pirámide a la voz de "funciona, ¿por qué no?" y sin saber por qué funcionaba... Es un alivio saber que ahora sabemos por qué. Podremos hacer pirámides de fruta más eficientes. Pronto, incluso podremos usarlas como monumentos funerarios.

Ahora, ¿para cuando resolveremos el acertijo del sonido de una palmada con una sola mano?

» autor: --275400--

#17 Resuelven un problema matemático que llevaba 400 años sin solución

--444258-- — Tue, 12 Aug 2014 19:57:51 +0000

El futuro para resolver conjeturas pasa por la informática , según decían cada vez habrá menos matemáticos de la vieja escuela y tampoco querían pasarse 400 años para resolver un problema.

El método aplicado seria usar "fuerza bruta" probando todos los resultados posibles (esto con matices).

» autor: --444258--

#16 Resuelven un problema matemático que llevaba 400 años sin solución

Rompe-y-RaSGAE — Tue, 12 Aug 2014 19:54:16 +0000

#4
#5 Si en vez de darle conversación a los trolls usárais el ignore todos saldríamos ganando.

» autor: Rompe-y-RaSGAE

#15 Resuelven un problema matemático que llevaba 400 años sin solución

--444258-- — Tue, 12 Aug 2014 19:44:18 +0000

#2 entonces ya no era de clase media.

» autor: --444258--

#14 Resuelven un problema matemático que llevaba 400 años sin solución

Arzak_ — Tue, 12 Aug 2014 19:13:33 +0000

Esto tendrán que aplicarlo muy eficientemente ahora con toda la fruta que iba para Rusia y se ha quedado

» autor: Arzak_

#13 Resuelven un problema matemático que llevaba 400 años sin solución

ikipol — Tue, 12 Aug 2014 19:07:52 +0000

Le recomiendo al autor de esta noticia alguna lectura de verdad sobre el tema. Porque confunde prueba con certificación de la prueba existente

» autor: ikipol

#12 Resuelven un problema matemático que llevaba 400 años sin solución

--405850-- — Tue, 12 Aug 2014 19:06:16 +0000

[Usuario deshabilitado]

» autor: --405850--

#11 Resuelven un problema matemático que llevaba 400 años sin solución

--423864-- — Tue, 12 Aug 2014 18:17:57 +0000

[Usuario deshabilitado]

» autor: --423864--

#10 Resuelven un problema matemático que llevaba 400 años sin solución

--42246-- — Tue, 12 Aug 2014 18:16:07 +0000

#9 Vale salao. Da saludos al director del frenopático.

#0 Buena noticia chacho. Y curiosa. Espero que salga a portada.

» autor: --42246--

#9 Resuelven un problema matemático que llevaba 400 años sin solución

--423864-- — Tue, 12 Aug 2014 18:15:09 +0000

[Usuario deshabilitado]

» autor: --423864--

#8 Resuelven un problema matemático que llevaba 400 años sin solución

--42246-- — Tue, 12 Aug 2014 18:12:34 +0000

#7 Pero a ver, traumas, que me parece cojonudo que te inventes mierda mental para hacer el ridículo en tu vida diaria, pero no jodas las noticias con tu purria cerebral y respeta al resto de usuarios que no quieren leer cansineces de lo mismo una y otra vez.

» autor: --42246--

#7 Resuelven un problema matemático que llevaba 400 años sin solución

--423864-- — Tue, 12 Aug 2014 18:11:45 +0000

[Usuario deshabilitado]

» autor: --423864--

#6 Resuelven un problema matemático que llevaba 400 años sin solución

kukudrulo — Tue, 12 Aug 2014 18:10:16 +0000

licuandolas

» autor: kukudrulo

#5 Resuelven un problema matemático que llevaba 400 años sin solución

--42246-- — Tue, 12 Aug 2014 18:09:33 +0000

#2 Por favor, a ver si dejáis de dar la puta brasa con la mierda de la situación actual en todas las noticias, coño.

» autor: --42246--

#4 Resuelven un problema matemático que llevaba 400 años sin solución

centito — Tue, 12 Aug 2014 18:01:25 +0000

#2 Primer premio de esta entrada:

» autor: centito

#3 Resuelven un problema matemático que llevaba 400 años sin solución

danic — Tue, 12 Aug 2014 17:59:47 +0000

¿El algoritmo del karma de meneame? ahm no, va de manzanas

» autor: danic

#2 Resuelven un problema matemático que llevaba 400 años sin solución

--423864-- — Tue, 12 Aug 2014 17:59:20 +0000

[Usuario deshabilitado]

» autor: --423864--

#1 Resuelven un problema matemático que llevaba 400 años sin solución

mamachichio — Tue, 12 Aug 2014 17:57:42 +0000

Un motivo mas para creer en un futuro prospero

» autor: mamachichio