King's College (University of Cambridge), Bene't Street, Newnham, Cambridge, Cambridgeshire, Cambridgeshire and Peterborough, England, CB2 1ST, United Kingdom
University of Cambridge
CONFERMATOAffidabilità della data: CONFERMATOIndicato come definitivoQuanto la fonte è netta sulla data: confermata, programmata, stimata, rinviata o non verificata.Mostra tutti i pin CONFERMATOAFFIDABILITÀ 88%Affidabilità complessiva: 88%Quanto la fonte e le altre fonti del pin ne confermano le date.Media ponderata di quanto 3 fonti, compresa quella principale, confermano gli orari di inizio e fine del pin; una fonte conta la metà per ogni 180 giorni in più rispetto alla più recenteMostra tutti i pin con affidabilità pari o superiore al 75%
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.Alan Turing presenta «On Computable Numbers, with an Application to the Entscheidungsproblem» alla London Mathematical Society. Definisce la macchina astratta diventata il modello di ogni computer costruito da allora e dimostra l'indecidibilità dell'Entscheidungsproblem.
1.00