Está en la página 1de 5

15/11/2018 La conjetura ABC seguirá siendo (por ahora) una conjetura | Gaussianos

Inicio #MatGaussianos Archivo Contacto El Aleph ForoGauss ¿Quiénes somos?

La conjetura ABC seguirá siendo (por ahora) u


conjetura
Demostraciones La conjetura ABC seguirá siendo (por ahora) una conjetura Imprímelo   Buscar

Publicado por ^DiAmOnD^ el 29 de octubre de 2018 en Buscar

Demostraciones, Noticias | 5 comentarios


Desde que en 2012 Shinichi Mochizuki publicara su trabajo, dividido en cuatro papers, con el que afirmaba haber Últimos co
demostrado la conjetura ABC, mucho ha sido lo que se ha hablado tanto de la conjetura como de la supuesta
demostración. El escepticismo reinaba en la comunidad matemática, y muy pocos fueron los que se atrevieron a
adentrarse en el trabajo de Mochizuki. Ahora, Peter Scholze y Jakob Stix han encontrado un problema en la Francisc
demostración que, al menos por ahora, Mochizuki no ha podido/querido/sabido arreglar. rodrígue
relación

Francisc
rodrígue
relación

gaussian
un Sudo
con 17 n
que pue
única

Ilustración dedicada a Shinichi Mochizuki. Fuente. Ignacio

La conjetura ABC pasa por ser el problema más importante de teoría de números que sigue sin resolverse. Longitud

Podríamos enunciarlo de la siguiente forma: rectángu

José Luis
Conjetura ABC: Para cada existe una constante tal que para toda terna de primos relativos en El pro
tales que se tiene cuatros

Utilizamos cookies para asegurar que damos la mejor experiencia al usuario en nuestro sitio web. Si continúa utilizando este sitio asumiremos que está de acuerdo. Aceptar

https://www.gaussianos.com/la-conjetura-abc-seguira-siendo-por-ahora-una-conjetura/ 1/5
15/11/2018 La conjetura ABC seguirá siendo (por ahora) una conjetura | Gaussianos

En este artículo no voy a extenderme más en la explicación de la propia conjetura, ya que nuestro gran colaborador
Suscríbete
y comentarista vengoroso nos habló de ella este artículo que publicamos el mismo año 2012. En él, además, se da
una demostración del Último Teorema de Fermat a partir de ella.

Y esto enlaza con una de las principales cuestiones por las que la conjetura ABC es tan importante. Además de la Si quieres
importancia que tiene en sí misma, hay unos cuantos resultados matemáticos importantes que se deducen a Gaussianos

partir de ella si la consideramos cierta, por lo que si se demostrara su veracidad automáticamente se tendría la en la image

veracidad de ellos. Además del propio UTF, que ya está demostrado, serían ciertas la conjetura de Erdős-Woods o
la conjetura de Fermat-Catalan, además de ayudar con la demostración de la conjetura de Beal. En Abc conjecture
tenéis más información al respecto.

Bueno, vamos a meternos en materia. La supuesta demostración que publicó Mochizuki (que podéis ver en su web
en varios papers bajo el título Inter-universal Teichmuller Theory) tenía, principalmente, el siguiente problema: se
basaba en matemáticas nuevas creadas por él mismo, lo que convertía a la demostración en altamente complicada.
Incluso los expertos en el tema tenían tremendas dificultades para revisarla.

Y por otro lado estaba el hermetismo del propio Mochizuki. Apenas salía de Japón para explicar su demostración y,
por lo que parece, tampoco tenía mucho interés en colaborar desde allí con otros matemáticos para aclararla y
poder hacerla algo más accesible para su revisión. Por ello, ninguna publicación especializada se atrevía a publicarla
ForoGauss
y, por tanto, la veracidad de la misma seguía en entredicho. Pero bueno, hasta ahora nadie había sido capaz de
encontrar algún error…
Si tienes al
…repito, hasta ahora. Como decíamos al principio, Peter Scholze y Jakob Stix han encontrado un problema en la
demostración que, después de varios meses, no ha encontrado solución por parte de Mochizuki. La cuestión radica o sugerenc
nuestro for
en un colorario del tercer paper, concretamente el 3.12, crucial para la veracidad y consistencia del trabajo
Seguro que
completo. Para Mochizuki, la demostración de este corolario es “trivial” (todo lo trivial que puede ser una
demostración de 9 páginas…), pero Scholze y Stix han encontrado en ella una simplificación que no se deduce de ayudar

resultados o trabajos anteriores. Esto invalida la demostración de dicho corolario, y con ello la demostración
completa de Mochizuki. Si queréis más detalles sobre esto, podéis ver el propio trabajo de Scholze y Stix: Why abc is
still a conjecture. También os recomiendo leer Adiós a la demostración de Mochizuki de la conjetura abc, del gran
Francis Villatoro, y los enlaces que se incluyen en dicho artículo.

A más de uno seguro que le suena familiar este tema, ¿verdad? Evidentemente, me refiero al caso de Michael
Atiyah y la supuesta demostración de la Hipótesis de Riemann (aquí tenéis el anuncio que hice sobre la misma y
aquí el artículo que escribí posteriormente sobre ello). Ambas cuestiones pueden parecerse, pero yo las veo
distintas. En el caso de Mochizuki y la conjetura ABC, había una supuesta demostración en la cual se ha encontrado
Gaussiano
un paso que no está totalmente justificado, y que Mochizuki no ha solucionado (al menos por ahora). En el caso de
Atiyah, se puede decir que no hay demostración. Francis también escribió un artículo sobre esta “no
demostración” que me pareció muy interesante, tanto por su contenido como por la forma en la que está
redactado. Un artículo muy recomendable. G
21
Para terminar, remarco la idea central de este artículo: la conjetura ABC sigue siendo una conjetura. El trabajo de
Mochizuki no es válido mientras la demostración de ese corolario no sea debidamente justificada. Y, a día de hoy, no
es así. Se acabó esta historia de la demostración de Mochizuki, pero continúa la de la propia conjetura ABC. Te gusta

Seguiremos informando.
A ti y a otro

Autor: ^DiAmOnD^ Yo constru


Császár
Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes
seguirme en Twitter o indicar que te gusta mi página de Facebook.
Únete a la
el poliedro
en la image
los detalles
5 Comentarios
Diego Alexander
30/10/2018

Gracias por seguir publicando, son como siempre buenos artículos.

https://www.gaussianos.com/la-conjetura-abc-seguira-siendo-por-ahora-una-conjetura/ 2/5
15/11/2018 La conjetura ABC seguirá siendo (por ahora) una conjetura | Gaussianos

Y visita est
Publica una respuesta las constru
de Gaussia

Nilton Raúl Olivares Ramírez


01/11/2018 Categorías

Yo estoy trabajando con esta definición, díganme si es correcta:


Categorías
Para todo entero positivo real ε, existe una cantidad finita de tripletas (a, b, c) enteros y coprimos entre
Elegir categ
sí, con: c = a +b,
tal que:

Blogroll

Publica una respuesta


Acertijos

Acertijos
Nilton Raúl Olivares Ramírez
01/11/2018 Blog de J

$c>\operatorname{rad}(abc)^{1+\varepsilon}$ Blog del

Ciencia
Publica una respuesta

Ciencia

Nilton Raúl Olivares Ramírez


Cuentos
01/11/2018
Division
c>{rad}(abc)^(1+ ε)
dy/dan

Publica una respuesta


Edumat
Educativ

Nilton Raúl Olivares Ramírez


Edumate
01/11/2018
El blog d
Del comentario anterior, no me salió bien la fórmula, perdón.
Tal que: El Espejo

$c<;t;\operatorname{rad}(abc)^{1+\varepsilon}$
Eureka

Publica una respuesta God Play

Guirnald

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
Historia
[latex]código-latex-que-quieras-insertar[/latex]

o Juegos T
$latex código-latex-que-quieras-insertar$.
La Covac
Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) Mathblo

respectivamente.
Microsie

RSME

Tío Petro
Envía un comentario
Tito Eliat

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *
Topolog

https://www.gaussianos.com/la-conjetura-abc-seguira-siendo-por-ahora-una-conjetura/ 3/5
15/11/2018 La conjetura ABC seguirá siendo (por ahora) una conjetura | Gaussianos

Comentario Recent P

Notify me of followup comments via e-mail

Nombre *

Correo electrónico *

Web

Envía tu comentario

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.

Debates recientes Gaussianos colabora con Premios CarnaMat

duda Excel por  Juan Manuel

Duda con una Oposición por


 Leo

ejercicio analisis por  anacg

Otra forma de enseñar las


tablas de multiplicar

https://www.gaussianos.com/la-conjetura-abc-seguira-siendo-por-ahora-una-conjetura/ 4/5
15/11/2018 La conjetura ABC seguirá siendo (por ahora) una conjetura | Gaussianos

(aprovechando simetrías) por


 Enrique Alonso

Problema de Teoria de
Numeros por  JohnC

Política de cookies | Logo y favicon creados por Alejandro Polanco | Licencia CC | Designed by Elegant Them

https://www.gaussianos.com/la-conjetura-abc-seguira-siendo-por-ahora-una-conjetura/ 5/5

También podría gustarte