Lógica de bucle temporalLa lógica de bucle temporal (aunque recurrencia temporal es más 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 Nóvikov 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. ... EjemploUn programa explotando la lógica de bucle temporal puede ser absolutamente simple. Por ejemplo, factorizar un número grande:
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. Enlaces externos
|
Portal di Ensiklopedia Dunia