Pertanyaan yang diberi tag reversible-computing

Bahasa pemrograman yang hanya dapat mengimplementasikan fungsi bijective yang dapat dikomputasi?

Apakah ada bahasa pemrograman (atau logika) yang dapat mengimplementasikan (atau mengekspresikan) fungsi jika dan hanya jika f adalah fungsi bijektif yang dapat dihitung?f:N→Nf:N→Nf:\mathbb{N}\to

Apa yang salah tentang metode “save-the-input” dari komputasi reversibel?

Saya seorang sarjana baru mulai membaca tentang komputasi reversibel. Saya tahu bahwa, karena prinsip Landauer, perhitungan yang ireversibel menghilangkan panas (dan yang reversibel tidak). Saya membahasnya dengan profesor saya, yang belum pernah mendengar tentang komputasi reversibel sebelumnya,...