Lógica de bucle temporal

Lógica de bucle temporal

La Lógica de Bucle Temporal (aunque recurrencia temporal es mas correcto) es un sistema de computación que requiere una computadora capaz de enviar datos hacia atrás en el tiempo, se fundamenta en el Principio de autoconsistencia de Novikov para forzar a que el resultado de la computación enviada atrás en el tiempo sea correcto. Esta aproximación podría superar muchas limitaciones en la complejidad algorítmica tradicional.

Ejemplo

Un programa explotando la lógica de bucle temporal puede ser absolutamente simple. Por ejemplo, factorizar un número grande:

  1. Esperar a que el resultado sea transmitido desde el futuro.
  2. Una vez recibido el resultado, comprobar si es un factor dividiendo el número de entrada por él.
    1. Si el resultado recibido es de hecho un factor correcto del número, enviar el resultado atrás en el tiempo.
    2. Si el resultado recibido no es un factor correcto del número (o no se recibió ningún resultado dentro del marco de tiempo deseado), generar un número diferente del resultado recibido y mandarlo atrás en el tiempo. Observese que este resultado es una paradoja, en el momento que el resultado mandado al pasado no es el mismo que el que ha sido recibido.

El principio de autoconsistencia de Novikov indica que es imposible para una secuencia de eventos provocar una paradoja, la segunda cláusula de la sentencia condicional nunca puede ocurrir con lo que se garantiza que el resultado enviado del futuro es el correcto. Si ningún resultado es posible - el número es un primo, por ejemplo - entonces algún evento ocurrirá para prevenir que el programa se ejecute por primera vez o prevenir que funcione correctamente. Un evento que prevenga al programa ejecutarse por primera vez podría también satisfacer el principio de Novikov aunque existiese un resultado correcto, así que es importante limitar las oportunidades para tales errores de modo que la manera "más probable" de que el sistema permanezca consistente sea proporcionar el resultado correcto según lo deseado.

Por supuesto, la lógica de bucle temporal es puramente un ejercicio teórico actualmente. No se conoce si el viaje en el tiempo es posible, o si el principio de Novikov realmente se aplica a él. La lógica de bucle temporal permite que las paradojas ontológicas, puedan ser o no posibles.

Bucle temporal= Espacio tiempo del que no saldremos nunca

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

  • Principio de autoconsistencia de Novikov — El Principio de consistencia de Novikov, también conocido como la Conjetura de consistencia de Novikov, es un principio desarrollado por el Doctor Igor Novikov a mediados de los 80 para resolver los problemas de las paradojas en los viajes a… …   Wikipedia Español

  • Método formal — En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos. Los métodos formales se caracterizan por emplear técnicas y… …   Wikipedia Español

  • Georg Wilhelm Friedrich Hegel — G. W. F. Hegel Hegel según Jakob Schlesinger, 1831 …   Wikipedia Español

  • Diagrama de flujo — Este artículo o sección necesita una revisión de ortografía y gramática. Puedes colaborar editándolo (lee aquí sugerencias para mejorar tu ortografía). Cuando se haya corregido, borra este aviso por favor …   Wikipedia Español

  • Electricidad — Este artículo o sección puede ser demasiado extenso(a). Algunos navegadores pueden tener dificultades al mostrar este artículo. Por favor, considera separar cada sección por artículos independientes, y luego resumir las secciones presentes en… …   Wikipedia Español

  • Cray-1 — Saltar a navegación, búsqueda Cray 1 Laboratorio Nacional Los Álamos Interior del supercomputador Cray 1 Localización California, Estados Unidos …   Wikipedia Español

  • Acceso múltiple por división de código — «CDMA» redirige aquí. Para el organismo andaluz, véase Centro de Documentación Musical de Andalucía. La multiplexación por división de código, acceso múltiple por división de código o CDMA (del inglés Code Division Multiple Access) es un término… …   Wikipedia Español

  • Interfaz (electrónica) — Se ha sugerido que este artículo o sección sea fusionado en Puerto (informática) (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. En electrónica, telecomunicaciones y hardware, una interfaz es… …   Wikipedia Español

  • Teoría de supercuerdas — Representación visual de una variedad de Calabi Yau. Se postula que las dimensiones extras de la teoría de supercuerdas tienen esta forma. La teoría de supercuerdas es un esquema teórico para explicar todas las partículas y fuerzas fundamentales… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”