Лямбда-исчисление
Лямбда-исчисление История и происхождение Лямбда-исчисление введено Алонсо Черчем в 1930-х годах. В 1936 году Черч выделил нетипизированное лямбда-исчисление. В 1940 […]
Вики
Computability theory
Вики
Неразрешимая проблема
Неразрешимая проблема Неразрешимые задачи в теории вычислимости Неразрешимая задача — это задача принятия решения, для которой невозможно построить алгоритм, всегда
Вики
Иерархия Харди
Жесткая иерархия Иерархия Харди Иерархия наборов числовых функций, сгенерированных из семейства функций ha: N → N. Введена Стэнли С. Вейнером
Вики
Формализм Маккарти
McCarthy Formalism Формализм Маккарти Джон Маккарти предложил формализм для описания рекурсивных функций в 1963 году. Формализм использует конструкцию IF-THEN-ELSE и
Вики
Арифметическая иерархия
Арифметическая иерархия Арифметическая иерархия Классифицирует множества на основе сложности формул, их определяющих Изобретена Клини и Мостовски независимо Важна в теории
Вики
Теорема Smn
Теорема Smn Теорема sm mn Теорема sm mn утверждает, что для заданного языка программирования и натуральных чисел m и n
Вики
Автоматическая группа
Автоматическая группа Определение и свойства автоматических групп Автоматическая группа – это конечно порожденная группа с конечными автоматами, которые определяют каноническую
Вики
Проблема принятия решения
Проблема решения Определение и классификация задач принятия решений Задачи принятия решений – это проблемы, в которых требуется определить, является ли
Вики
С2С (математика)
S2S (математика) Определение и свойства теории S2S Теория S2S – это теория, которая включает в себя все формулы первого порядка,
Вики
Вычислимый порядковый номер
Вычислимый порядковый номер Определение вычислимых ординалов Вычислимый ординал α называется рекурсивным, если существует упорядоченное подмножество натуральных чисел с типом order
Вики
Гиперарифметическая теория
Гиперарифметическая теория Определение и свойства рекурсивных функций Рекурсивная функция – это функция, которая вызывает сама себя. Рекурсия может быть бесконечной,
Вики
Теорема UTM
Теорема UTM Теорема UTM в теории вычислимости Теорема утверждает существование универсальной функции, которая может вычислить любую другую вычислимую функцию. Универсальная
Вики
Вычислимая функция
Вычислимая функция Определение вычислимости Вычислимая функция – это функция, которую можно вычислить с помощью алгоритма. Вычислимость функции может быть доказана
Вики
Общая рекурсивная функция
Общая рекурсивная функция Определение и свойства μ-рекурсии μ-рекурсия – это форма рекурсии, которая позволяет определить функцию, используя только μ-оператор. μ-оператор
Вики
Проблема принятия решения
Проблема решения Определение и классификация задач принятия решений Задачи принятия решений – это проблемы, в которых требуется определить, является ли
Вики
Неразрешимая проблема
Неразрешимая проблема Теорема Геделя о неполноте Теорема утверждает, что в любой формальной системе, достаточно мощной для арифметики, существуют утверждения, которые
Вики
Рекурсивный язык
Рекурсивный язык Определение рекурсивного языка Рекурсивный язык – это язык, который может быть описан рекурсивной функцией. Рекурсивные языки включают контекстно-зависимые
Вики
Проблема с почтовой перепиской
Проблема с почтовой перепиской Определение и история проблемы почтовой корреспонденции Проблема почтовой корреспонденции (PCP) – это задача, в которой требуется
Вики
оператор μ
Оператор Μ Определение и применение μ-оператора μ-оператор – это логический оператор, который принимает два аргумента и возвращает истину, если первый
Вики
Арифметическое множество
Арифметический набор Определение арифметических множеств Арифметическое множество – это множество натуральных чисел, которое может быть описано арифметической формулой. Арифметические множества
Вики
Формализм Маккарти
Формализм Маккарти Определение и использование условного оператора Условный оператор используется для ветвления вычислений на основе условия. Маккарти (1960) и Мински