Z3

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.

See also

• Blindfolded Arithmetic

External resources

• Konrad Zuse Internet Archive
• Essay: "The Architecture of Konrad Zuse's Early Computing Machines" by Raúl Rojas