Talk:Z3

instruction set with load, store, increment, zero and unconditional branching

The current second paragraph which references an unavailable pdf (from the Wayback Machine; retrieved on 31 March 2019) appears to be talking specifically about the x86 mov instruction, and not to Turing completeness in general, or Z3 at all. This Z3 page is interesting as an esolang reference, and the bit about "Turing completeness without conditional statements" seems real (although I'm not sure a proof will be "easy"). The mov pdf is also interesting and could be referenced somewhere, but I don't think it belongs on this page. Commenting on talk page rather than simply deleting in case someone has a good way to reuse the link. Salpynx (talk) 05:21, 17 April 2019 (UTC)

My above comment relates to a paragraph since deleted by the original author, presumably because it wasn't directly related to Z3 as I suspected: https://esolangs.org/w/index.php?title=Z3&diff=61226&oldid=61202 Salpynx (talk) 22:37, 29 July 2024 (UTC)