Теория вычислимости — Что можно вычислить алгоритмически? Машина Тьюринга (1936): универсальная модель вычислений.
🖥️Computability Theory
What can be computed algorithmically? Turing machine (1936): universal model of computation. Church-Turing thesis: all intuitively computable = Turing-computable. Undecidability: halting problem. Recursive and recursively enumerable sets
Article body and graph labels may still appear in Russian where English translations have not been added yet.
Loading map...
Тезис Чёрча-Тьюринга: всё интуитивно вычислимое = тьюринг-вычислимое. Неразрешимость: проблема остановки (Halting problem).
Предпосылки и причины
Рекурсивные и рекурсивно перечислимые множества..
Ход событий
Развитие определялось действиями участников и обстановкой.
Последствия и значение
Результаты оказали влияние на дальнейшее развитие событий.
❓Часто задаваемые вопросы
Что можно вычислить алгоритмически? Машина Тьюринга (1936): универсальная модель вычислений. Тезис Чёрча-Тьюринга: всё интуитивно вычислимое = тьюринг