Menéame: comentarios [827032]

#6 Proponen nuevos símbolos de notación matemática

JLA — Fri, 04 Dec 2009 01:06:22 +0000

¿ Y esta gente fumaba ?

» autor: JLA

#5 Proponen nuevos símbolos de notación matemática

ikipol — Fri, 04 Dec 2009 00:26:16 +0000

#4 Sí, yo creo... bueno no creo.

» autor: ikipol

#4 Proponen nuevos símbolos de notación matemática

--49195-- — Fri, 04 Dec 2009 00:25:27 +0000

#1 ... Tu crees?

» autor: --49195--

#3 Proponen nuevos símbolos de notación matemática

mezvan — Fri, 04 Dec 2009 00:20:57 +0000

Su única opción era inventar otros símbolos nuevos. Para lo cual Cook llamó por teléfono a un amigo, el artista Tauba Auerbach, y después de varios meses de lluvia de ideas, el dúo esbozó nueve símbolos, cada uno de ellos describen una función que no es fácil describir con la notación actual.

Cook aplica estos signos en un libro sobre el Problema de Halting y planea presentarlos para su inclusión en LaTeX, el programa que utilizan los matemáticos para publicar sus trabajos. "Los símbolos cambian con el tiempo", dice Cook.

» autor: mezvan

#2 Proponen nuevos símbolos de notación matemática

--161906-- — Fri, 04 Dec 2009 00:19:40 +0000

[Usuario deshabilitado]

» autor: --161906--

#1 Proponen nuevos símbolos de notación matemática

ikipol — Fri, 04 Dec 2009 00:18:24 +0000

Desde luego, el que ha escrito el artículo no ha estudiado teoría de la computabilidad. No sólo no han intentado hallar una solución (a un problema que se ha demostrado que no tiene solución algorítmica), sino que se puede describir la extensión de los modelos de computación mediante oráculos asociados a ese problema sin añadir notación alguna. Vamos, los grados de Turing.
La notación la usa para "rodear" el problema de la parada, reescribiéndolo. Pero nada más. Creo que se puede expresar de manera equivalente usando Recursión cruzada.

» autor: ikipol