Pytania otagowane jako 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 \mathbb{N}fff

10 reference-request programming-languages logic reversible-computing

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 ze zrozumieniem, dlaczego teoria komputerów zwrotnych nie była …

9 computability reversible-computing

Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.

Licensed under cc by-sa 3.0 with attribution required.