- Начало
- 12 нояб. 1936 г.ДОСТОВЕРНОСТЬ 90%от источник
Тьюринг представляет работу «О вычислимых числах»
Автоматический перевод оригинала
Оригинальное название: Turing Submits On Computable Numbers
- Тьюринг представил работу «О вычислимых числах в приложении к проблеме разрешимости» (Entscheidungsproblem) 12 ноября 1936 г.; впервые она была опубликована в 1937 году[2]
- Это было второе доказательство, после теоремы Чёрча, того, что у проблемы разрешимости Гильберта (Entscheidungsproblem) нет решения, то есть что на некоторые чисто математические вопросы с ответом «да» или «нет» невозможно ответить вычислением[2]
- В 1938 году Тьюринг опубликовал «Поправку»[2]
- Абстрактная машина, которую работа определяет для построения этого аргумента, - это модель вычислений, с которой сверяется каждый компьютер с хранимой программой с тех пор[1][3]
Источники 3ДОСТОВЕРНОСТЬ 88%Общая достоверность: 88%Насколько источник и ссылки пина подтверждают его даты.Взвешенное среднее того, насколько 3 источника, включая основной, подтверждают время начала и окончания пина; вес источника уменьшается вдвое за каждые 180 дней разницы с самым новымПоказать все пины с достоверностью 75% и выше
Первая запись — всегда источник пина. Общая достоверность — это взвешенное среднее того, насколько каждый источник подтверждает указанные выше время начала и окончания; вес источника уменьшается вдвое за каждые 180 дней разницы с самым новым.
- [1]90%cs.virginia.edu/~robins/Turing_Paper_1936.pdfcs.virginia.edu· Размещено 22 сент. 2026 г.· Начало 12 нояб. 1936 г. ✓· 33% оценки
Статья Wikipedia[2][3] о доказательстве Тьюринга датирует подачу без оговорок: «Доказательство Тьюринга - это доказательство Алана Тьюринга, представленное 12 ноября 1936 г. и впервые опубликованное в 1937 году под названием “О вычислимых числах в приложении к проблеме разрешимости”». Пин - это именно подача, то есть датированное действие; номер Proceedings of the London Mathematical Society с этой работой датирован 1937 годом.
- [2]90%Turing's proofen.wikipedia.org· Добавлено 22 сент. 2026 г.· 33% оценки
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]
- [3]85%Alan Turingen.wikipedia.org· Добавлено 22 сент. 2026 г.· 33% оценки
The author's own article, for where he was working in 1936 and what the machine he defined became.[1]
Предложить исправление
Чего-то не хватает или есть ошибка? Напишите своими словами: ссылку, подтверждающую этот пин, другую дату начала или окончания и почему, или факт, которого нет или который неверен. ИИ сверит это с источниками пина, поищет лучшие и добавит любую страницу, которая вас подтверждает. Собственные источники пина всё равно весят больше всего. Изображение, на котором показано что-то другое или показано плохо, тоже проверяется и опускается ниже или заменяется.
