Algorítmica y complejidad computacional. Un nuevo estilo / problema en matemáticas.

Lo hemos comentado muy recientemente en una entrada anterior (perdón por la autocita).

Es el nuevo estilo de publicación: sin estar seguro de que lo que se tiene entre manos y publica es 100% correcto. Al igual que los problemas que se intentan resolver, las demostraciones son cada vez más complejas y necesitan múltiples mentes para la comprobación de su corrección.

Se ha publicado una interesante entrada en el blog GLL en la que hablan sobre este  mismo tema

The issue is simple:

Someone writes up a paper that “proves” that X is true, where X is some hard open problem. How do we check that X is proved?

The proof in question is almost always long and complex. So the checking is not a simple matter. In some cases the proof might even use nonstandard methods and make it even harder to understand.

y comentan sobre las posibles reacciones a este nuevo estilo de matemáticas.  Recomendamos su lectura.

P.s. En otro orden de cosas, los lectores interesados en nuestro resultado (que obviamente no es comparable a los resultados sobre los que hablan en las entradas citadas), concretamente en como están relacionadas las propiedades de IAS regularity, entanglement, twistedness y cycle-entanglement con las propiedades de hamiltonicidad de los dígrafos de Cayley bigenerados, (con demostraciones, si no completas, mostrando los mecanismos que subyacen a una demostración) pueden consultar múltiples entradas en este mismo blog (por ejemplo del año pasado), con importante aparato gráfico, lo cual facilitará la comprensión de los mecanismos. En ellas mostramos como utilizar las propiedades señaladas para determinar si existen o no recorridos hamiltonianos en un caso dado.

Anuncios

Una respuesta to “Algorítmica y complejidad computacional. Un nuevo estilo / problema en matemáticas.”

  1. Clara Says:

    It seems that indeed the biggest complaint of webmasters is that some are totally in the dark about the reasons why Google penalizes them or even if Google has penalized them, what exactly is the one thing that Google stumbled upon causing it to ban a site and how a webmaster can effectively redeem himself afterwards. I understand that Google does a lot of things automated and thousands of times a day, but still more clarity, even more than now announced would be welcome. After all taking someones livelihood by banning their site, i think deserves at least a well suaeibnttatsd explanation.

Terms and conditions: 1. Any commenter of this blog agrees to transfer the copy right of his comments to the blogger. 2. RSS readers and / or aggregators that captures the content of this blog (posts or comments) are forbidden. These actions will be subject to the DMCA notice-and-takedown rules and will be legally pursued by the proprietor of the blog.

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s


A %d blogueros les gusta esto: