e-limbo, e-zine de informacion y analasis de modos de vida actual
 
18.10.2017 / Sesión no Iniciada 
_Wabi Sabi

 _enviar articulo

e-mail emisor
e-mail receptor
Ayúdanos a evitar contactos automáticos
Anti Spam
Texto
 

En estos tiempos de hipercomunicación bastaría la invitación de enviar a un amigo cualquiera de los textos que consideres interesantes algo redundante: demasiada comunicación, demasiados textos y , en general, demasiado de todo.
Es posible que estemos de acuerdo... pero cuando encuentras algo interesante en cualquier sitio, la red, la calle, tu casa, o un lugar escondido y remoto, compartirlo no sólo es un acto (acción, hecho) de amistad o altruismo, también es una manera de ahorrar tiempo a los demás (y de que te lo ahorren a ti (si eres afortunado) a costa del tiempo que tu has podido derrochar (emplear) y el gustazo de mostrar que estuviste ahí (o donde fuera ) un poco antes (el tiempo ya no es más el que era).
Comparte con tus conocidos aquello que encuentras, es evolución.
La demostración de la conjetura de Kepler
04-01-06 Revista de Prensa  

 
Publicado originalmente en www.elpais.es

Por Antonio Córdoba Barba

Un matemático logra desentrañar un problema planteado por el genio alemán hace cuatro siglos.
¿Cómo empaquetar del modo más eficaz esferas del mismo tamaño, es decir cómo hacer un montón de naranjas o de balas de cañón de manera que ocupen el mínimo espacio? El problema, formulado por Johannes Kepler, tiene por fin demostración, lograda con una combinación de herramientas matemáticas y de ordenadores.
El desafío involucra todas las maneras posibles de disponer bolas en el espacio
¿Estamos en el umbral de una nueva era en la que las máquinas probarán los teoremas?
A nnals of Mathematics, posiblemente la mejor revista matemática del mundo, ha publicado el pasado noviembre la demostración obtenida por Thomas Hales de una famosa conjetura formulada por Kepler hace cuatro siglos. Que el autor del problema sea un afamado científico y que haya transcurrido tanto tiempo en resolverse lo asemeja al Último Teorema de Fermat, con el que también comparte la sencillez de su enunciado; el tener una historia rica en resultados parciales, incluyendo varias demostraciones falsas o incompletas; el que Hales, como hiciera Wiles en el caso del Fermat, haya dedicado más de seis años a perfilar la solución y, además, el haber sido publicadas ambas demostraciones en los Annals.

¿Cuál es la manera más eficiente de empaquetar esferas del mismo tamaño? En esta pregunta, engañosamente sencilla, radica el enigma propuesto por Kepler. Es claro que al disponer bolas en el espacio quedarán siempre intersticios y un empaquetamiento denso minimizará el volumen que resta fuera de ellas. Un ejemplo notable se construye disponiéndolas inicialmente sobre un plano, tangentes entre sí y formando hileras intercaladas, que crean una densa capa sobre la que podemos apilar las nuevas esferas colocándolas entre cada tres tangentes de la formación inicial. Iterando con cuidado este procedimiento, arriba y abajo de la primera capa, obtendremos un empaquetamiento periódico que, en cristalografía, recibe el nombre de red cúbica centrada y que aparece ilustrado en la manera habitual como disponen los fruteros la oferta de manzanas y naranjas. Es fácil calcular su densidad (0.74...), que Thomas Hales ha demostrado ser insuperable: no importa cómo llenemos el espacio con esferas, la densidad será siempre menor o igual que la alcanzada por la red cúbica centrada.

El problema fue sugerido a Kepler por un marino que deseaba estimar el número de balas de cañón que almacenaban los buques enemigos en su cubierta. Pero en 1611 no podían imaginar que el diseño de buenos empaquetamientos haya resultado ser ahora tan relevante en la tecnología de la información, tanto para enviar señales por un canal ruidoso sin perder calidad, como en los códigos que nos garantizan la fidelidad del sonido de un disco compacto.

Nosotros podemos bromear también con la perspicacia de los fruteros, pero ello nos distraería de la cuestión importante, es decir, del gran desafío a la mente humana que planteaba la conjetura, a la que había que atacar porque estaba ahí, como dijo E. Hillary sobre la escalada del Everest. El desafío es tremendo, casi de vértigo, pues involucra todas las maneras posibles de disponer bolas en el espacio: ¿cómo empezar siquiera semejante tarea?

Si se tratara sólo del caso periódico, entonces la escalada es más fácil y el gran Gauss, a mediados del siglo XIX, ya pudo realizarla. También podemos rebajar la dimensión y hacernos la pregunta análoga para círculos del plano: en torno a 1960, el matemático húngaro Fejes Toth encontró la respuesta correcta, que resultó ser la versión bidimensional de la red cúbica centrada. Pero en tres dimensiones es mucho más difícil: en un empaquetamiento, cada esfera tiene asociada una celda de influencia, formada por los puntos del espacio que están más cerca de su centro que de los de las restantes esferas. El cociente entre el volumen de la esfera y el de su celda de influencia es la densidad local del empaquetamiento. Resulta que, en dimensión dos, las celdas de mayor densidad local son hexágonos, con los que se puede teselar el plano. En el espacio las celdas de la red cúbica centrada son dodecaedros rómbicos. La celda local más densa, sin embargo, es el dodecaedro regular, pero con ella, como bien saben los cristalógrafos, no se puede teselar el espacio. Esta discrepancia entre la solución óptima local y la global es una de las razones por las que el problema de Kepler ha resultado tan difícil.

El artículo de Hales consta de unas 120 páginas de matemáticas convencionales. Pero depende de un programa informático que analiza cerca de 5.000 casos residuales, para los que hay que optimizar funciones de más de 200 variables. Después de varios años de trabajo la comisión de expertos a quienes Annals encargó la revisión del artículo ha tirado la toalla, sintiéndose incapaz de escudriñar todos los detalles en un tiempo razonable; tarea que han comparado con la de cotejar, uno por uno, la veracidad de todos los datos del listín telefónico de Nueva York. Empero, el comité ha llevado a cabo el número adecuado de comprobaciones para poder sostener su fe en la corrección de la prueba con, según dicen, un 99% de probabilidad. Pero, ¿es eso suficiente?

Una demostración matemática es una cadena de razonamientos, a veces muy larga, que nos llevan desde una hipótesis de partida hasta una tesis de llegada y que es susceptible de ser engarzada por todo aquel que posea el tiempo y el entrenamiento adecuados. Pero éste no es el caso de la prueba de Hales. El dilema de Annals es tremendo y su solución ecléctica quizás no satisfaga a muchos: publica la parte que se ajusta al arquetipo tradicional, pero añade un comentario editorial advirtiendo de que la prueba depende de un programa que aparecerá en otra revista especializada en computación. Los editores señalan que estamos ante un caso de aproximación de las matemáticas a la práctica de las ciencias experimentales, por cuanto la verificación de la parte informática hay que hacerla con los criterios con los que se valida un experimento, pero no con los tradicionales de las matemáticas.

Annals es una centenaria revista bimensual editada en Princeton (EE UU) conjuntamente por la Universidad y el Instituto de Estudio Avanzado. Los requisitos para aparecer en sus páginas son muy estrictos: ha de tratarse de un resultado relevante demostrado con técnicas originales. No es de extrañar que publicar en Annals sea objeto del deseo para los matemáticos y que traten de lograrlo con sus resultados mejores.

La demora entre la llegada y la publicación de un artículo oscila en torno a los dos años, pero ése es un dato que Annals comparte con otras revistas, que no son ya tanto un instrumento de comunicación, puesto que los resultados circulan antes por la red, sino una garantía de calidad. Ésa es ahora la principal razón de ser de las mejores revistas. Pero éstas son una minoría; la mayoría tienen criterios mucho más relajados: tanto, que sus publicaciones son con bastante frecuencia un mero y prescindible ruido.

A diferencia de la demostración del Teorema de Fermat, que ha requerido el fecundo ingenio matemático contemporáneo, creo que la prueba de la conjetura de Kepler, sin desmerecer con ello el trabajo de Hales, hubiera podido llevarse a cabo hace siglos de haber contado con los medios de cálculo que tenemos ahora a nuestro alcance. ¿Significa esta demostración que estamos en el umbral de una nueva era en la que las máquinas se encargarán de probar los teoremas? ¿Son los matemáticos una especie en extinción?

Sinceramente creo que la respuesta es un rotundo no, aunque sea un lugar común afirmar que el ordenador es un instrumento valiosísimo, una ayuda casi imprescindible, en la investigación actual. Pero es posible, y yo diría que muy deseable, que las máquinas se encarguen en el futuro de tantos desarrollos rutinarios y tantas demostraciones clónicas que mantienen ocupados a demasiados matemáticos quienes, incansables, publican obviedad tras obviedad. Llenando sin cesar, con mutuas referencias, el registro de esa grotesca casa de citas que tiene su sede en Filadelfia. Liberados por las máquinas, podrían estos artistas, siguiendo el buen ejemplo de Wiles y Hales, dedicar sus esfuerzos a resolver problemas realmente difíciles e interesantes que tengan luego cabida en Annals of Mathematics.

.

Antonio Córdoba Barba es catedrático de Análisis Matemático (Universidad Autónoma de Madrid)

   
 

Rating: 4 - 1 voto(s).

   
_COMENTARIOS
No existen comentarios.
Comentario / Comment:
  atención: para realizar comentarios tienes que ser usuario registrado.
        

_HistÓrico_Wabi Sabi

15-01-12_ Un poquito de volición
11-12-10_ OBSCURE No. 5 - Jan Steele  * John Cage
17-10-10_ GATEKEEPER
22-07-08_  @--`--,--
21-02-08_ The best food for runners
23-09-07_ Counter Culture Strategic Risk Analysis
06-07-07_ Zoetrope
26-06-07_ The Call of Cthulhu
11-08-07_ Thomas Dolby & Rachellle Garniez (@TED TALKS)
17-05-07_ De Düva * The Dove
03-05-07_ Jacques Lacan * Television (rarity)
02-05-07_ Postcards from the Future: The Chuck Palahniuk Documentary
24-04-07_ Eternidades
03-07-07_ Terayama Shuji - Experimental Image World
13-04-07_ Media That Matters Film Festival
25-06-07_ Allen Ginsberg * ... ten years after
25-06-07_ La Petite Lovecraft [ + ]
27-03-07_ 11111010001 [ * ] reloaded (acelerado)
03-03-07_ Destroy the museums, in the streets and everywhere
02-03-07_ I and my inanimate Inamorata Interlaced again
10-02-07_ La elegancia formal y la ligereza de una nube blanca" (DOCUMENTA 12 Press Release)
07-02-07_ DIY or DIE 
03-02-07_ Las pseudociencias son como las pesadillas
22-01-07_Tadanori Yokoo * 3 Animation Films (1964-65)
18-01-07_ Como se hacen los espejos
16-01-07_ Desiderata
11-01-07_ SecondSpaceTube
08-01-07_ How to survive through the Urban Jungle and other stories
03-01-07_ Pornography & Technology
01-01-07_ Becoming Transhuman
02-01-07_ Lenguage is a virus
25-11-07_ Pipilotti Rist * Video Works (1988-1999) 
31-05-07_ Eric Dolphy * Hy Fly
10-12-06_ Costumbres de los Ahogados * Alfred Jarry
13-12-06_ Visión cruda
01-12-06_ Bruselas, de Dansaert a Saint-Géry
23-11-06_ I've got it all, de Tracey Emin
20-11-06_ Forbidden Transmission
14-11-06_ Salo or the 120 Days of Sodom
13-11-06_ Semana de enlaces
04-11-06_ Wabi Sabi * La belleza de lo imperfecto
03-11-06_ McKenzie Clark * Interview
25-10-06_Podiobooks!
03-11-06_Fischli & Weiss celebran lo normal * Flowers & Questions.
18-10-06_Ahora mismo * para Siempre
31-05-07_ Lacan's Later Teaching
05-10-06_Shut Up, Little Man!
30-09-06_Coleccionar arte hoy
29-09-06_A las Cinco de la Tarde
20-09-06_Los agujeros negros no destruirán la Tierra
16-09-06_En la cuerda floja * el exclusivazo
15-09-06_Disney * El sádico de nuestra infancia
13-09-06_Los ladrillos contraatacan
11-09-06_Nomads and No-Zones
01-09-06_Experimentaclub 2006
31-08-06_Microsoft The Office
20-08-06_¿Quien mató a Cesar? ¿Un barco negro?
06-08-06_Rats' teeth and empty eyes
31-07-06_The Holy Mountain * Alexandro Jodorowsky
28-07-06_El retrato oval
20-07-06_Culture Hacking (rough draft)
20-07-06_No Generation
06-07-06_Landscape music
09-06-06_Getting High: A History of LSD
05-06-06_Frank Zappa * Remington Electric Razor
31-05-06_fijuu2 - 3D sound toy
05-06-06_Interview * Marc Boehlen
20-05-06_La nueva emisión de Tom Verlaine
20-05-06_Fluorescent bleeding chaos
12-05-06_Madrid se estrena en la feria del sexo
07-06-06_My Compliments to the Lab
30-04-06_Je t´aime Jane Birkin
07-06-06_Going to Pixelache
19-04-06_California dreaming
19-04-06_Drinking Problem? Try Drugs
09-04-06_China, el espejo desmesurado
06-04-06_Malditos, heterodoxos y alucinados
01-04-06_My Life in the Bush of Ghosts * Brian Eno/David Byrne
01-04-06_Sisters
23-03-06_Back Soon
20-03-06_Soulseeking | The Road to Recovery
19-03-06_'Hamlet': todavía no
14-03-06_The State of emergency called Love
14-03-06_false friends
05-03-06_Trends '06 | from A to Z
04-03-06_Octavia Butler | The outsider who changed science fiction.
25-02-06_Club Gascon, Where Lunch Can Take All Afternoon
20-02-06_De evento en evento…, de comida en comida ...
13-02-06_De cómo ser comisario y vivir del cuento
12-02-06_La ilusión del buen rollo
11-02-06_Artistas colgados del teléfono
07-02-06_Seven ways to boost your fertility
27-01-06_Coleccionar coleccionistas
27-01-06_Interview With Mike Kelley
07-01-06_Conceptual Artist as Vandal: Walk Tall and Carry a Little Hammer (or Ax)
09-01-06_Un viaje sonoro por el 2005
04-01-06_La demostración de la conjetura de Kepler
09-06-06_The View from the Dance Floor
17-11-05_La novela no ha muerto, ¡viva la novela!
02-04-08_ Al Diablo * La última dedicatoria de Roberto Bolaño
31-05-05_Viaje a Babia

_ORBITAL_Wabi Sabi

_Servicios

test
Regístrate y disfruta de utilidades de administración y gestión de los contenidos de e-limbo*
Recibe las novedades en tu correo electronico.
El futuro está escrito en las estrellas... Horóscopo creado por J.G. Ballard y dedicado a todos vosotros.
Aplicaciones y herramientas necesarias para navegar y utilizar los contenidos del limbo electrónico e internet (www).
Artículos de e-limbo* en formato PDF preparados para viajar y aportar información allá donde estés. (y seguir salvando árboles)

_e-limbo * apoya

test

_Multimedia

_AUDIO >
Mais uma edição do podcast Música Livre para o Archivo Vivo, do Centro Cultural da Espanha/AECID. ...
_PODCAST >
Ante preguntas de oyentes y amigos, puedo responder ahora que Vía Límite continuará en Radio ...
_VIDEO >
SORPRESA¡!¡! An unreleased version of Talking Heads' "Psycho Killer" with Arthur Russell on cello
Optimizado: Firefox, Safari, Mozilla, Netscape, Konqueror, Explorer. Resolución óptima: 1024x768
ISSN: 1885-5229    Aviso Legal e-limbo.org*