Titolo originale: Turing Submits On Computable Numbers
La prima voce è sempre la fonte del pin. L’affidabilità complessiva è una media ponderata di quanto ogni fonte conferma gli orari di inizio e fine indicati sopra; una fonte conta la metà per ogni 180 giorni in più rispetto alla più recente.
L'articolo di Wikipedia[2][3] sulla dimostrazione di Turing data la presentazione senza cautele: «La dimostrazione di Turing è una dimostrazione di Alan Turing presentata il 12 novembre 1936 e pubblicata per la prima volta nel 1937 con il titolo 'On Computable Numbers, with an Application to the Entscheidungsproblem'». Il pin è la presentazione, l'atto datato; il numero dei Proceedings of the London Mathematical Society che la contiene è datato 1937.
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]
Manca qualcosa o c’è un errore? Dillo con parole tue: un link che conferma questo pin, una data di inizio o fine diversa e perché, o un fatto che manca o è sbagliato. L’IA lo confronta con le fonti del pin, ne cerca di migliori e aggiunge qualsiasi pagina ti dia ragione. Le fonti del pin contano comunque di più. Anche un’immagine che mostra altro, o lo mostra male, viene esaminata e spostata in basso o sostituita.
