Z3

From Esolang
Jump to: navigation, search

The Z3 is a German computer created by Konrad Zuse in 1941. Despite its extreme simplicity(the computer simulated only addition, subtraction, multiplication, division, and square-rooting, but only the former four are necessary for Turing-completeness), Raúl Rojas had successfully simulated the Turing machine using this computer here.

This computer can be used to prove the Turing-completeness of esoteric programming languages without conditional statements.

External resources