time-loop logic

== English == === Noun === time-loop logic (uncountable) (computer science) A hypothetical system of computation that exploits the Novikov self-consistency principle to compute answers much faster than possible with the standard model of computational complexity using Turing machines.