Built the first digital freely programmable computer, the Z1. Built the first functional program-controlled computer, the Z3. The Z3 was proven to be Turing-complete in 1998. Produced the world’s first commercial computer, the Z4. Designed the first high-level programming language, Plankalkül.