Talk:Z3
Jump to navigation
Jump to search
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)