Das Prinzip des modernen Computers wurde erstmals von Mathematiker und wegweisende Alan Turing beschrieben, der die Idee in seinem 1936 er Papier, auf Berechenbare-Zahlen, aufgestellt hat. Turing formulierte Kurt Gödel 1931 Ergebnisse über die Grenzen des Nachweises und der Berechnung, indem er die universelle Arithmetik-basierte formale Sprache von Gödel mit den formalen und einfachen hypothetischen Geräten ersetzt, die als Turing-Maschinen bekannt wurden. Er bewies, dass eine solche Maschine in der Lage wäre, jede denkbare mathematische Berechnung durchzuführen, wenn sie als Algorithmus darstellbar wäre. Er ging weiter, um zu beweisen, dass es keine Lösung für die Entscheidungsproblem gab, indem man zuerst zeigt, dass das stockend für Turing-Maschinen unentscheidbar ist: Generell ist es nicht möglich, algorithmisch zu entscheiden, ob eine gegebene Turing-Maschine jemals anhalten wird.
Wem hat Turing die Ergebnisse über die Grenzen des Nachweises und der Berechnung im Jahr 1931 überarbeitet?
Kurt Gödel