Dynamical Systems seminar is supported by RFBR project 20-01-00420-a and Laboratory Poncelet.

Доклад:20.9.2013

Материал из DSWiki
Перейти к навигацииПерейти к поиску
Версия для печати больше не поддерживается и может содержать ошибки обработки. Обновите закладки браузера и используйте вместо этого функцию печати браузера по умолчанию.

Тезис Чёрча и машины Тьюринга

20.09.2013, Александр Шень

Тезис Чёрча (тезис Тьюринга) утверждает, что "любой алгоритм может быть запрограммирован для машины Тьюринга". Вокруг него много путаницы, философии и недоразумений. Что такое машины Тьюринга и зачем они нужны? Можно доказать тезис Чёрча-Тьюринга и в каком смысле? Если нет, то что можно доказать? Что было бы опровержением? Ограничивает ли он "возможности человеческого разума" и в каком смысле? Как он соотносится с реальными вычислениями?

Источник — http://www.dyn-sys.org/w/index.php?title=Доклад:20.9.2013&oldid=1884