Pytania oznaczone «reversible-computing»

Język programowania, który może implementować tylko obliczalne funkcje bijectywne?

Czy istnieją języki programowania (lub logika), które mogą implementować (lub wyrażać) funkcję tylko i tylko wtedy, gdy jest obliczalną funkcją bijectywną? ff:N→Nf:N→Nf:\mathbb{N}\to

Co jest wadliwe w metodzie odwracalnego obliczania „zapisz dane”?

Jestem studentem, który dopiero zaczyna czytać o komputerach zwrotnych. Wiem, że z powodu zasady Landauera nieodwracalne obliczenia rozpraszają ciepło (a odwracalne tego nie robią). Porozmawiałem o tym z moim profesorem, który nigdy wcześniej nie słyszał o komputerach zwrotnych, a on miał trudności...