Sólo lanzo una curiosidad para los no iniciados en el tema.
En mates hay una cosa que se llama grupo. En particular, hay unos que se llaman grupos simples que, en cierto modo, nos dan el resto (no entraré en detalles). El caso es que estos grupos simples están estudiados y se sabe cuáles son (hay infinitos, por supuesto). Pues bien, uno de los teormas más importantes de las últimas décadas es eso mismo, el hecho de saber cuáles son. Y... aqui viene la curiosidad que decía:
¡¡Es una demostración de más de 15.000 páginas!!
Estas cosas hacen que me relaje al ver que lo que leo solo tiene 58...
¡Caray! y a mi que me impresionaba la resolución de la ecuación de Schrödinger ya no sési para elhidrógeno o para el helio porque tenía 15 o 20 páginas....
pfff.... 15000 páginas de demostración para demostrar (valga la pena esta redundancia) cuántos grupos simple existen??
Estos matemáticos están locos...
por cierto!!, veo que tb tienes enlazado a Ruben... pero... Ironía Ingrata?? lo digo xq su blog no se llama asi y esto... es una gilipollez que le puse para enlazarlo desde mi web... jajaja!
Pero a q le queda original ese nombre? y le pega al Ru, no te creas...
Lo cual hará que, evidentemente, no se lo haya leido nadie para ver si es correcto, no?
Por curiosidad, qué parte de esa prueba son listados de Mathematica?
Hay que comentar, pa que no nos considereis mas locos de lo que estamos, que esas "15000 paginas" no son una demostracion propiamente dicha, sino la clasificacion de los grupos "a lo bruto" (listando y caracterizando todas las familias que hay, y enumerando los 26 grupos esporadicos) No creo que nadie se la haya leido entera, pero tampoco hace falta, ya que consta de muchas partes independientes que se pueden leer por separado (en la carrera todos vemos una parte de esa clasificacion: la de los grupos abelianos finitos, que no es poco). Y no creo yo que se haya usado mucho Mathematica para esto, JJ, aunque seguramente si otros programas mas serios de algebra (magma, gap, singular...) Y los que os esteis preguntando que necesidad habia de caracterizar explicitamente un grupo de dimension 196000 y pico, pues simplemente "porque estaba ahi" ;-)
Probablemente la clasificación de los grupos simples finitos es la magna obra de las Matemáticas del siglo XX, y una de las cumbres del pensamiento de todos los tiempos.
Dicho esto, yo conozco a una persona al menos (y Lola tb) que, si no se la ha leído, por lo menos controla la demostración. Y por partes se la ha leído muchísima gente y ha habido enorme polémica, sobre todo a principios de los 90, sobre si la prueba era correcta o no. Actualmente está casi unánimemente aceptado que sí lo es, sobre todo después de haber sido reescrita de forma más inteligible. En Matemáticas todo se comprueba m
Más información, inteligible y en castellano, sobre la clasificación y sobre sus implicaciones (que las tiene, y muchas) en http://mat.uab.es/~aguade/html/muralla.html
Yo conocí a una de las personas que contribuyó a esta clasificación, y me comentó algunas cosas curiosas. Para empezar, la clasificación "conjeturó" la existencia de algunos grupos esporádicos, cuya existencia fue demostrada posteriormente (el hito más famoso al respecto fue la descripción de un objeto geométrico que tenía al monstruo como grupo de simetrías).
Otra cosa curiosa que me comentó es que todos (o casi todos) los que participaron en la clasificación, están seguros de que en la demostración hay fallos; lo que ocurre es que estos fallos son fácilmente salvables (vamos, el típico paso que se deja como ejercicio para el lector). Aún así, este personaje siempre que hablaba de estas cosas, lo hacía "módulo la clasificación de los grupos finitos simples".
Lo divertido del monstruo es que tiene una conexión con la teoría de cuerdas. Dyson cree que el monstruo subyace en la estructurade cualquier universo posible (aunque lo veo muy idealista). A mí ya me sorprende que el número de familias sea 26. Una vez más se intuye que cualquier número es interesante. (buen, está demostrado que lo es.Pero eso es otro cantar)
Sólo lanzo una curiosidad para los no iniciados en el tema.
| Tweet
