Запитання з тегом «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 

Це може бути наївним питанням, але ось ідеться. (Редагувати - це не отримує відгуків, але ніхто також не запропонував відповіді; можливо, питання складніше, незрозуміліше або неясне, ніж я думав?) Теорема першої некомплектності Геделя може бути доведена як наслідок невирішеності проблеми зупинки (наприклад, Сіпсер Ч. 6; допис у блозі Скотта Ааронсона …

11 lo.logic  computability  church-turing-thesis