Câu hỏi được gắn thẻ «reversible-computing»

Có ngôn ngữ lập trình (hoặc logic) nào có thể thực hiện (hoặc diễn đạt) một hàm khi và chỉ khi f là một hàm tính toán tính toán?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Tôi là một sinh viên mới bắt đầu đọc về điện toán đảo ngược. Tôi biết rằng, vì nguyên tắc của Landauer, các tính toán không thể đảo ngược làm tiêu tan nhiệt (và các tính toán có thể đảo ngược thì không). Tôi đã đưa nó lên với giáo …

9 computability  reversible-computing