Вопросы с тегом «reversible-computing»

Язык программирования, который может реализовывать только вычислимые биективные функции?

Существуют ли языки программирования (или логика), которые могут реализовать (или выразить) функцию тогда и только тогда, когда f вычислимые биективные функции?f:N→Nf:N→Nf:\mathbb{N}\to...

В чем недостаток метода обратимых вычислений «сохранить данные»?

Я студент, только начинающий читать о обратимых вычислениях. Я знаю, что по принципу Ландауэра необратимые вычисления рассеивают тепло (а обратимые - нет). Я рассказал об этом своему профессору, который никогда раньше не слышал об обратимых вычислениях, и ему было трудно понять, почему теория...