PS Ab wann wurde denn versucht zu beweisen, dass der Entwurf turingvollständig ist? Auch erst Jahre später? PPS Babbage hat seine Analytical Engine nicht als turingmächtigen Computer entworfen -- schließlich gab es die mathematische Konzeption (unter anderem Namen) erst 1931 von Gödel -- obwohl Babbages Entwurf lt. obigem Artikel sehr wohl turingmächtig war.