Der erste Eintrag ist immer die Quelle des Pins. Die Gesamtsicherheit ist ein gewichteter Durchschnitt, wie fest jeder Beleg die oben verwendeten Start- und Endzeiten stützt; ein Beleg zählt für je 180 Tage, die er älter ist als der neueste, nur halb so viel.
Der Wikipedia[2][3]-Artikel über Turings Beweis datiert die Einreichung ohne Einschränkung: „Turings Beweis ist ein Beweis von Alan Turing, eingereicht am 12. November 1936 und erstmals 1937 unter dem Titel ‚On Computable Numbers, with an Application to the Entscheidungsproblem‘ veröffentlicht.“ Der Pin steht für die Einreichung, den datierten Akt; die Ausgabe der Proceedings of the London Mathematical Society, in der sie erschien, ist auf 1937 datiert.
Dates the submission and publication and explains what the paper proves: "the second proof (after Church's theorem) of the negation of Hilbert's Entscheidungsproblem... that some decision problems are 'undecidable'".[1]
The author's own article, for where he was working in 1936 and what the machine he defined became.[1]
Fehlt etwas oder stimmt etwas nicht? Sag es in deinen eigenen Worten: ein Link, der diesen Pin belegt, ein anderes Start- oder Enddatum und warum, oder eine Angabe, die fehlt oder falsch ist. Die KI prüft es an den Quellen dieses Pins, sucht nach besseren und ergänzt jede Seite, die dich bestätigt. Die eigenen Quellen des Pins zählen weiterhin am meisten. Auch Bilder sieht sich die KI an: Eines, das etwas anderes oder die Sache schlecht zeigt, wird nach hinten gestellt oder ersetzt.
Originaltitel: Turing Submits On Computable Numbers