Теорема Чёрча–Россера

От / / Оставьте комментарий

Оглавление1 Теорема Черча–Россера1.1 Теорема Черча-Россера1.2 Доказательство теоремы1.3 Нормализация и варианты1.4 Рекомендации и ошибки1.5 Полный текст статьи:2 Теорема Чёрча–Россера Теорема Черча–Россера […]

Lambda calculus, Rewriting systems, Theorems in the foundations of mathematics, Лямбда-исчисление, Системы перезаписи, Теоремы в основах математики

Теорема Черча–Россера

  • Теорема Черча-Россера

    • Утверждает, что каждое нормальное выражение в лямбда-исчислении может быть сведено к нормальной форме. 
    • Используется для доказательства свойств лямбда-исчисления и других систем рекурсии. 

  • Доказательство теоремы

    • Доказательство основано на свойствах бинарного отношения редукции. 
    • Используется свойство алмаза для доказательства свойства Черча-Россера. 
    • Вводится новое сокращение, удовлетворяющее свойству алмаза и используемое для доказательства. 

  • Нормализация и варианты

    • Нормализация позволяет каждому члену иметь только одну нормальную форму. 
    • Теорема применима к различным вариантам лямбда-исчисления. 

  • Рекомендации и ошибки

    • Статья содержит рекомендации по форматированию и ошибки в HTML-коде. 

Полный текст статьи:

Теорема Чёрча–Россера

Похожие статьи:

  1. Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 История и происхождение1.2 Основные понятия1.3 Лямбда-термины и абстракции1.4 Применение и приложения1.5 Происхождение символа λ1.6...
  2. Кристаллографические дефекты алмаза Оглавление1 Кристаллографические дефекты в алмазе1.1 Дефекты в кристаллической решетке алмаза1.2 Маркировка алмазных центров1.3 Симметрия дефектов1.4 Внешние...
  3. Теорема Урсеску Оглавление1 Теорема Урсеску1.1 Определение и свойства выпуклых множеств1.2 Теорема о выпуклых множествах1.3 Теорема о пересечении выпуклых...
  4. Человеческий фактор в безопасности дайвинга Оглавление1 Человеческий фактор в обеспечении безопасности погружений1.1 Человеческие факторы в дайвинге1.2 Факторы безопасности погружения1.3 Человеческие ошибки...
  5. Дж. Баркли Россер Дж. Баркли Россер Джон Баркли Россер – американский логик, ученик Алонсо Черча.  Известен своей работой над...
  6. Определение лямбда-исчисления Оглавление1 Определение лямбда-исчисления1.1 Определение лямбда-исчисления1.2 Каноническое определение лямбда-исчисления1.3 Операторы и правила1.4 Стратегии оценки1.5 Нормальная форма и...
  7. Ошибка памяти Оглавление1 Ошибка в памяти1.1 Пробелы и ошибки в памяти1.2 Причины ошибок памяти1.3 Типы ошибок памяти1.4 Ошибки...
  8. Зависимый тип Оглавление1 Зависимый тип1.1 Основы теории зависимых типов1.2 Типы и функции в лямбда-исчислении1.3 Зависимые типы и их...
  9. Типизированное лямбда-исчисление Оглавление1 Типизированное лямбда-исчисление1.1 Основы типизированных лямбда-исчислений1.2 Виды типизированных лямбда-исчислений1.3 Приложения к языкам программирования1.4 Дальнейшее чтение2 Типизированное...
  10. Дж. Баркли Россер Оглавление1 Дж. Баркли Россер1.1 Биография и карьера1.2 Основные достижения1.3 Публикации1.4 Личная жизнь и смерть1.5 Полный текст...
  11. Лямбда Оглавление1 Лямбда-сигнал1.1 История и значение буквы “Лямбда”1.2 Варианты и использование в истории1.3 Символическое использование1.4 Лямбда в...
  12. Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 Основы лямбда-исчисления1.2 Альфа-эквивалентность и свободные переменные1.3 Примеры лямбда-терминов1.4 Редукция и условия свежести2 Лямбда-исчисление —...
  13. Теорема о четырех цветах Оглавление1 Теорема о четырех цветах1.1 Теорема о четырех цветах1.2 История доказательства1.3 Доказательство с помощью компьютера1.4 Формулировка...
  14. Теорема о четырех цветах Оглавление1 Теорема о четырех цветах1.1 Теорема о четырех цветах1.2 История доказательства1.3 Доказательство с помощью компьютера1.4 Формулировка...
  15. Стратегия сокращения Оглавление1 Стратегия сокращения выбросов1.1 Основы лямбда-исчисления1.2 Редукция нормального порядка1.3 Параллельная редукция1.4 Стратегии сокращения1.5 Лямбда-исчисление и редукция1.6...
  16. Лямбда-мю-исчисление Оглавление1 Лямбда-математический анализ1.1 Основы лямбда-мю-исчисления1.2 Семантика и формальное определение1.3 Правила редукции1.4 Дополнительные правила сокращения1.5 Ссылки и...
  17. Просто типизированное лямбда-исчисление Оглавление1 Просто набранное лямбда-исчисление1.1 Основы просто типизированного лямбда-исчисления1.2 Синтаксис и семантика1.3 Операции и типы1.4 Категориальная семантика...
  18. Теоремы Силова Оглавление1 Теоремы Силова1.1 Теоремы Силова1.2 Определение силовских подгрупп1.3 Теорема Лагранжа1.4 Теорема Силова (1)1.5 Теорема Коши1.6 Теорема...
  19. Переписка Карри-Ховарда Оглавление1 Переписка Карри и Говарда1.1 Основы соответствия Карри-Говарда1.2 Связь с интуиционистской логикой1.3 Связь с типизированным лямбда-исчислением1.4...
  20. Теорема Атьи–Зингера об индексе Оглавление1 Теорема об индексе Атии–Сингера1.1 Теорема об индексе Атии–Сингера1.2 История1.3 Символ дифференциального оператора1.4 Аналитический индекс1.5 Топологический...
  21. Теорема о кодировании зашумленного канала Оглавление1 Теорема о кодировании в зашумленном канале1.1 Теорема Шеннона о кодировании в зашумленном канале1.2 Основные понятия1.3...
  22. Лямбда-барион Оглавление1 Лямбда-барион1.1 Определение и свойства лямбда-барионов1.2 Открытие и свойства1.3 Экспериментальные подтверждения1.4 Наблюдения в атомных ядрах1.5 Типы...

Оставьте комментарий

Прокрутить вверх