As was first argued by Rolf Landauer of IBM, in order for a computational process to be physically reversible, it must also be logically reversible.
Как было показано Рольфом Ландауэром (англ.) из IBM в 1961 году, для того, чтобы процесс вычислений был физически обратимым, требуется, чтобы он также был логически обратимым (logically reversible).