Тьюринг представляет работу «О вычислимых числах»
King's College (University of Cambridge), Bene't Street, Newnham, Cambridge, Cambridgeshire, Cambridgeshire and Peterborough, England, CB2 1ST, United Kingdom
University of Cambridge
ПОДТВЕРЖДЕНОДостоверность даты: ПОДТВЕРЖДЕНОУказано как окончательноеНасколько твёрдо источник называет дату: подтверждена, запланирована, примерная, перенесена или не проверена.Показать все пины «ПОДТВЕРЖДЕНО»ДОСТОВЕРНОСТЬ 88%Общая достоверность: 88%Насколько источник и ссылки пина подтверждают его даты.Взвешенное среднее того, насколько 3 источника, включая основной, подтверждают время начала и окончания пина; вес источника уменьшается вдвое за каждые 180 дней разницы с самым новымПоказать все пины с достоверностью 75% и вышеСтатья Wikipedia[2][3] о доказательстве Тьюринга датирует подачу без оговорок: «Доказательство Тьюринга - это доказательство Алана Тьюринга, представленное 12 ноября 1936 г. и впервые опубликованное в 1937 году под названием “О вычислимых числах в приложении к проблеме разрешимости”». Пин - это именно подача, то есть датированное действие; номер Proceedings of the London Mathematical Society с этой работой датирован 1937 годом.
Алан Тьюринг представляет Лондонскому математическому обществу работу «О вычислимых числах в приложении к проблеме разрешимости» (Entscheidungsproblem). В ней определена абстрактная машина, ставшая моделью для всех созданных с тех пор компьютеров, и доказана неразрешимость Entscheidungsproblem.
1.00