Обсуждение:Рекурсивная функция (теория вычислимости)
Последнее сообщение: 10 лет назад от DrCroco в теме «Частично рекурсивные функции совпадают с классом вычислимых по Тьюрингу функций - ПРОВЕРИТЬ!»
Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Untitled править
а скажите, пожалуйста, эта статья Рекурсивная функция как-то относится к вашей? --Ликка 19:39, 31 августа 2008 (UTC)
- Нет, не относится, это разные вещи. См. английскую википедию en:Primitive recursive function. Просто я в одной статье объединил три словарные статьи -- Примитивно рекурсивная функция, Общерекурсивная функция и Частично рекурсивная функция greck 11:20, 1 сентября 2008 (UTC)
Частично рекурсивные функции совпадают с классом вычислимых по Тьюрингу функций - ПРОВЕРИТЬ! править
Тезис Чёрча: совпадение классов вычислимых и частично рекурсивных функций. Это тезис, эвристическое утверждение, догадка. http://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%B7%D0%B8%D1%81_%D0%A7%D1%91%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8C%D1%8E%D1%80%D0%B8%D0%BD%D0%B3%D0%B0
46.39.35.208 15:14, 16 марта 2013 (UTC)Анатолий
- Тут и проверять нечего, абсолютная ахинея. Определения вычислимой функции нет и быть не может, как и определения алгоритма, причём именно потому, что существуют тезисы Чёрча и Тьюринга. Ссылка ведёт на статью, которая озаглавлена "вычислимые функции", но на самом деле там определяется не вычислимость как таковая, а вычислимость по Тьюрингу, а это совершенно иное понятие. Переписывать это всё надо, и как можно скорее. DrCroco 16:43, 16 июля 2013 (UTC)