Запитання з тегом «reversible-computing»

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

10 reference-request  programming-languages  logic  reversible-computing 

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

9 computability  reversible-computing