Siehe den Artikel Turing-Vollständigkeit: "Im Jahre 1954 veröffentlichte Hans Hermes als einer der ersten einen Beweis für die Turing-Vollständigkeit von von-Neumann-Rechenmaschinen, also von tatsächlich realisierten Computern." Also mehrere Jahre nach dem ENIAC-Bau wurde bewiesen, dass Von-Neumann-Rechner turingmächtig sind, aber in diesem Artikel wird indirekt ausgesagt, dass ENIAC als turingmächtiger Computer entworfen und so genutzt wurde. Gibt es dafür Belege? Also explizite Berechnung von Funktionen, für die primitive Rekursion nicht ausreicht? Wenn wie gesagt der mathematische Beweis der Turingmächtigkeit erst Jahre später erfolgt, auf welchem nicht-mathematischen Fundament soll dann formuliert worden sein, dass es sich um den Entwurf eines turingvollständigen Computers handelt? 15:51, 10. Jun. 2016 (CEST)