King's College (University of Cambridge), Bene't Street, Newnham, Cambridge, Cambridgeshire, Cambridgeshire and Peterborough, England, CB2 1ST, United Kingdom
University of Cambridge
BESTÄTIGTTerminsicherheit: BESTÄTIGTAls fest angegebenWie fest die Quelle den Termin formuliert: bestätigt, geplant, geschätzt, verschoben oder unbestätigt.Alle Pins mit BESTÄTIGT anzeigen88 % SICHERHEITGesamtvertrauen: 88%Wie gut die Quelle und die Belege des Pins seine Termine stützen.Gewichteter Durchschnitt, wie fest 3 Belege einschließlich der Quelle die Start- und Endzeiten des Pins stützen; ein Beleg zählt für je 180 Tage, die er älter ist als der neueste, nur halb so vielAlle Pins mit mindestens 75 % Sicherheit anzeigen
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.Alan Turing reicht „On Computable Numbers, with an Application to the Entscheidungsproblem“ bei der London Mathematical Society ein. Die Arbeit definiert die abstrakte Maschine, die zum Modell für jeden seither gebauten Computer wurde, und beweist, dass das Entscheidungsproblem unentscheidbar ist.
1.00
Cavendish Laboratory
