Примитивная рекурсивная арифметика

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

Примитивная рекурсивная арифметика Примитивная рекурсивная арифметика (PRA) — формализация арифметики первого порядка без аксиом индукции.  PRA заменяет аксиоматическую схему индукции […]

Constructivism (mathematics), Formal theories of arithmetic, Конструктивизм (математика), Формальные теории арифметики

Примитивная рекурсивная арифметика

  • Примитивная рекурсивная арифметика (PRA) — формализация арифметики первого порядка без аксиом индукции. 
  • PRA заменяет аксиоматическую схему индукции правилом индукции без кванторов. 
  • В арифметике первого порядка единственными примитивными рекурсивными функциями, которые необходимо аксиоматизировать, являются сложение и умножение. 
  • Безлогическое исчисление позволяет формализовать PRA таким образом, чтобы в нем не было логических связей. 
  • В этом случае терм представляет собой примитивную рекурсивную функцию от нуля или более переменных. 

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

Примитивная рекурсивная арифметика — Википедия

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

  1. Порядковый анализ Порядковый анализ Основы арифметики первого порядка Арифметика первого порядка — это система, которая включает в себя...
  2. Управление пруденциального регулирования (Великобритания) Управление по пруденциальному регулированию (Соединенное Королевство) Управление по пруденциальному регулированию (PRA) Регулирует финансовые услуги в Великобритании,...
  3. Примитивная рекурсивная функция Примитивная рекурсивная функция Примитивные рекурсивные функции используются для определения сложных функций с помощью рекурсии.  Рекурсия выполняется...
  4. Аффинная арифметика Аффинная арифметика Обзор литературы по аффинной арифметике Аффинная арифметика используется для решения задач в области компьютерной...
  5. Арифметика второго порядка Арифметика второго порядка Арифметика второго порядка — это теория, включающая аксиомы, связанные с индукцией и замыканием...
  6. Арифметика Пресбургера Арифметика пресбургера Определение Пресбургской Арифметики Пресбургская арифметика — это система арифметических операций, основанная на предикатах.  Пресбургская...
  7. Рекурсивная грамматика Рекурсивная грамматика Определение рекурсивной грамматики Рекурсивная грамматика содержит правила, которые могут привести к созданию строки с...
  8. Школьная арифметика Арифметика Сколема Арифметика Сколема — расширение арифметики Пресбургера, основанное на теории множеств простых множителей.  Арифметика Сколема...
  9. Основная теорема (анализ алгоритмов) Основная теорема (анализ алгоритмов) Основная теорема асимптотического анализа Основная теорема позволяет определить асимптотическую сложность рекурсивных алгоритмов. ...
  10. Описательная теория сложности Описательная теория сложности Основы логики первого порядка Логика первого порядка (FO) — это формальная система, которая...
  11. Логика второго порядка Логика второго порядка Логика второго порядка — это расширение логики первого порядка, позволяющее количественно оценивать свойства...
  12. Извлечение отношений Извлечение взаимосвязи Основы извлечения связей Извлечение связей включает обнаружение и классификацию семантических связей в текстах и...
  13. Элементарная арифметика функций Арифметика элементарных функций EFA — слабая система аксиом, используемая в математической логике.  EFA включает аксиомы арифметики...
  14. Логика первого порядка Логика первого порядка Логика первого порядка — формальная система для описания и доказательства утверждений.  Язык логики...
  15. Постоянно-рекурсивная последовательность Постоянная рекурсивная последовательность Константно-рекурсивные последовательности имеют свойство повторяемости с постоянным коэффициентом.  Линейная рекуррентность является уравнением, описывающим...
  16. Математическая индукция Математическая индукция Математическая индукция — метод доказательства утверждений о натуральных числах.  Индукция состоит из базового варианта...
  17. Модульная арифметика Модульная арифметика Модульная арифметика — раздел математики, изучающий арифметические операции с использованием остатков по модулю некоторого...
  18. Арифметика произвольной точности Арифметика произвольной точности Арифметика произвольной точности позволяет работать с числами, которые не могут быть представлены точно...
  19. Арифметика серийных номеров Арифметика серийных номеров Статья обсуждает арифметику серийных номеров в коммуникационных протоколах.  Арифметика серийных номеров используется для...
  20. Арифметика (книга) Арифметика (книга) История и значение «Арифметики» Леонтия Магницкого «Арифметика» была стандартным учебником математики в России до...
  21. Разрешимость теорий действительных чисел первого порядка Разрешимость теорий действительных чисел первого порядка Математическая логика использует язык вещественных чисел первого порядка для формирования...
  22. Гейтинговая арифметика Захватывающая арифметика Основы конструктивной математики Конструктивная математика отличается от классической тем, что она основана на конструкциях,...

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

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