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

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

10 reference-request  programming-languages  logic  reversible-computing 

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

9 computability  reversible-computing