Dynamical Systems seminar is supported by RFBR project 20-01-00420-a and Laboratory Poncelet.
Доклад:20.9.2013: различия между версиями
Материал из DSWiki
Перейти к навигацииПерейти к поиску
(Новая страница: «'''Тезис Чёрча и машины Тьюринга'' 13.09.2013, ''Александр Шень'' Тезис Чёрча (тезис Тьюринга) ут…») |
мНет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Тезис Чёрча и машины Тьюринга'' | '''Тезис Чёрча и машины Тьюринга'' | ||
20.09.2013, ''Александр Шень'' | |||
Тезис Чёрча (тезис Тьюринга) утверждает, что "любой алгоритм может быть | Тезис Чёрча (тезис Тьюринга) утверждает, что "любой алгоритм может быть | ||
Версия от 17:05, 21 сентября 2013
'Тезис Чёрча и машины Тьюринга
20.09.2013, Александр Шень
Тезис Чёрча (тезис Тьюринга) утверждает, что "любой алгоритм может быть запрограммирован для машины Тьюринга". Вокруг него много путаницы, философии и недоразумений. Что такое машины Тьюринга и зачем они нужны? Можно доказать тезис Чёрча-Тьюринга и в каком смысле? Если нет, то что можно доказать? Что было бы опровержением? Ограничивает ли он "возможности человеческого разума" и в каком смысле? Как он соотносится с реальными вычислениями?
