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