Logique De Boucle Temporelle

Logique De Boucle Temporelle

Logique de boucle temporelle

La logique de boucle temporelle est un système de calcul informatique qui traite d'ordinateurs capables d'envoyer des données dans le passé et qui repose sur le principe de cohérence de Novikov pour forcer le résultat du calcul renvoyé à travers le temps à être cohérent. Cette approche surmonte de nombreuses limitations associées à la complexité algorithmique traditionnelle.

Un programme exploitant la logique de boucle temporelle peut être simple dans son principe. Par exemple, pour trouver un facteur premier f pour un grand nombre n :

  1. attendre le résultat envoyé depuis le futur
  2. lors de la réception du résultat, tester si celui-ci est un facteur du grand nombre n en divisant ce dernier par lui.
    1. si le résultat reçu est en effet un facteur du grand nombre, renvoyer le résultat à travers le temps.
    2. sinon si le résultat reçu n'est pas un facteur premier du grand nombre (ou qu'aucun résultat n'a été transmis depuis le futur dans les délais impartis), générer un nombre différent du résultat reçu et l'envoyer dans le passé. Noter que ceci provoque un paradoxe car le résultat renvoyé dans le passé n'est pas le même que celui reçu depuis le futur.

Du fait que le principe de Novikov affirme qu'il est impossible qu'une séquence d'évènements résulte en un paradoxe, la deuxième clause de l'algorithme (2.2) ne peut jamais arriver et le résultat envoyé depuis le futur est garanti d'être le résultat correct. Si aucun résultat n'est possible -le nombre soumis est un nombre premier par exemple- alors un évènement va arriver pour empêcher le programme d'être exécuté en premier ou correctement. Un évènement qui empêche le programme d'être exécuté en premier satisferait le principe de Novikov même si un résultat existe, donc il est important de limiter les possibilités pour de telles erreurs afin que la manière la "plus probable" pour que le système reste cohérent est de fournir le résultat correct souhaité.

Bien sûr, la logique de boucle temporelle est un exercice purement théorique actuellement. Il n'est pas possible aujourd'hui de dire si le voyage dans le temps est possible, et s'il est possible que le principe de Novikov s'y applique réellement.

Liens externes

Ce document provient de « Logique de boucle temporelle ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Logique De Boucle Temporelle de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Logique de boucle temporelle — La logique de boucle temporelle est un système de calcul informatique qui traite d ordinateurs capables d envoyer des données dans le passé et qui repose sur le principe de cohérence de Novikov pour forcer le résultat du calcul renvoyé à travers… …   Wikipédia en Français

  • Principe de coherence de Novikov — Principe de cohérence de Novikov Le principe de cohérence de Novikov est un principe développé par le professeur Igor Novikov au milieu des années 1980 pour résoudre le problème des paradoxes liés au voyage dans le temps. Le principe de Novikov… …   Wikipédia en Français

  • Principe de cohérence de Novikov — Le principe de cohérence de Novikov est un principe développé par le professeur Igor Novikov au milieu des années 1980 pour résoudre le problème des paradoxes liés au voyage dans le temps. Le principe de Novikov affirme que la probabilité d… …   Wikipédia en Français

  • Principe de cohérence de novikov — Le principe de cohérence de Novikov est un principe développé par le professeur Igor Novikov au milieu des années 1980 pour résoudre le problème des paradoxes liés au voyage dans le temps. Le principe de Novikov affirme que la probabilité d… …   Wikipédia en Français

  • Hans Moravec — Pour les articles homonymes, voir Moravec. Hans Moravec (né le 30 novembre 1948 en Autriche) est enseignant chercheur au centre de robotique de l université Carnegie Mellon. Il s est fait connaître à travers ses travaux sur la robotique, sur l… …   Wikipédia en Français

  • Paradoxe de l'écrivain — Le paradoxe de l écrivain est un paradoxe temporel qui décrit la situation suivante : un écrivain s expédie à lui même, dans le passé, en utilisant une machine à remonter le temps, un exemplaire imprimé du livre qui l a rendu célèbre. Dans… …   Wikipédia en Français

  • Triangle (film, 2009) — Triangle Fichier:Christian Henson Données clés Titre original Triangle Réalisation Christopher Smith Acteurs principaux Melissa George Joshua McIvor Pays d’origine …   Wikipédia en Français

  • Liste De Stands : Golden Wind — Cet article est relié à l univers de JoJo s Bizarre Adventure. Ce qui suit dévoile des moments clés de l’intrigue. Dans la cinquième partie, on découvre que les Stands peuvent évoluer vers une forme plus puissante s ils sont percés par une des… …   Wikipédia en Français

  • Liste de Stands : Golden Wind — Cet article est relié à l univers de JoJo s Bizarre Adventure. Dans la cinquième partie, on découvre que les Stands peuvent évoluer vers une forme nettement plus puissante s ils sont percés par une des « flèches » (cela est différent de …   Wikipédia en Français

  • Liste de stands : golden wind — Cet article est relié à l univers de JoJo s Bizarre Adventure. Ce qui suit dévoile des moments clés de l’intrigue. Dans la cinquième partie, on découvre que les Stands peuvent évoluer vers une forme plus puissante s ils sont percés par une des… …   Wikipédia en Français

Share the article and excerpts

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