Not signed in (Sign In)

# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Sign in using OpenID

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeAug 26th 2022

started writing this just to record some references, but ended up writing some paragraphs of an Idea-section. Nevertheless, this remains a stub entry.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeAug 29th 2022
• (edited Aug 29th 2022)

I have added (here) to the Idea-section a paragraph on the example of incremental addition $(-)+n \;\colon\; \mathbb{Z} \xrightarrow{\sim} \mathbb{Z}$

with a pointer to

for how to implement this with just CNOT gates,

and with an image of Leibniz’s mechanical calculator, where the reversal of this operation is obtained by turning the crank the opposite direction.

(Or so it says on Wikipedia. I have not yet found a good published reference on the “stepped reckoner”. )

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeJan 17th 2023

added pointer to:

• B. Aman et al., Foundations of Reversible Computation, in: Reversible Computation: Extending Horizons of Computing. RC 2020 Lecture Notes in Computer Science 12070, Springer (2020) [doi:10.1007/978-3-030-47361-7_1]
Add your comments
• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)