Вопросы с тегом «church-turing-thesis»

Пол Вегнер и Дина Голдин уже более десяти лет публикуют статьи и книги, утверждая, прежде всего, что тезис Черча-Тьюринга часто искажается в сообществе теории КС и в других местах. То есть он представлен как охватывающий все вычисления, когда на самом деле он применяется только к вычислению функций, которое является очень …

38 computability  turing-machines  machine-models  church-turing-thesis 

Одним из наиболее обсуждаемых вопросов на сайте было « Что бы это значило, чтобы опровергнуть тезис Церковного Тьюринга» . Отчасти это связано с тем, что Дершовиц и Гуревич опубликовали доказательство тезиса Черч-Тьюринга - Бюллетень символической логики в 2008 году. (Я не буду обсуждать это здесь, но для ссылки и подробных …

35 soft-question  lo.logic  church-turing-thesis 

Недавно у меня была беседа с другом (сторонником строго типизированных языков). Он сделал комментарий: Изобретатели Lambda Calculus всегда предполагали, что он будет напечатан. Теперь мы видим , что церковь была связана с в Просто типизированных лямбда - исчислению . Действительно, кажется, что он объяснил Лямбда-исчисление Простого Типа, чтобы уменьшить недопонимание …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

Это может быть наивный вопрос, но здесь идет. (Отредактируйте - это не вызывает голосов, но никто не предложил ответ; возможно, вопрос более сложный, неясный или неясный, чем я думал?) Первая теорема Гёделя о неполноте может быть доказана как следствие неразрешимости проблемы остановки (например, Sipser Ch. 6; сообщение в блоге Скотта …

11 lo.logic  computability  church-turing-thesis