From Esolang
Jump to: navigation, 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)