Примитивная рекурсивная арифметика
- Примитивная рекурсивная арифметика (PRA) – формализация арифметики первого порядка без аксиом индукции.
- PRA заменяет аксиоматическую схему индукции правилом индукции без кванторов.
- В арифметике первого порядка единственными примитивными рекурсивными функциями, которые необходимо аксиоматизировать, являются сложение и умножение.
- Безлогическое исчисление позволяет формализовать PRA таким образом, чтобы в нем не было логических связей.
- В этом случае терм представляет собой примитивную рекурсивную функцию от нуля или более переменных.
Полный текст статьи:
Примитивная рекурсивная арифметика — Википедия
Похожие статьи:
- Порядковый анализ Оглавление1 Порядковый анализ1.1 Основы арифметики первого порядка1.2 Расширения арифметики первого порядка1.3 Обратная математика и арифметические системы1.4...
- Группа обоев Оглавление1 Группа обоев1.1 Группы обоев1.2 Симметрия узоров1.3 Формальное определение1.4 Изометрии евклидовой плоскости1.5 Кристаллографические обозначения1.6 Дополнительные типы...
- Примитивная рекурсивная функция Примитивная рекурсивная функция Примитивные рекурсивные функции используются для определения сложных функций с помощью рекурсии. Рекурсия выполняется...
- Управление пруденциального регулирования (Великобритания) Оглавление1 Управление по пруденциальному регулированию (Соединенное Королевство)1.1 Управление по пруденциальному регулированию (PRA)1.2 Структура и функции1.3 Цели...
- Аффинная арифметика Оглавление1 Аффинная арифметика1.1 Обзор литературы по аффинной арифметике1.2 Примеры использования аффинной арифметики1.3 Конференции и публикации1.4 Библиографические...
- Рекурсивная экономика Оглавление1 Рекурсивная экономика1.1 Рекурсивная экономика1.2 Различия между рекурсивной и неоклассической моделями1.3 Рекурсивная модель и уравнение Беллмана1.4...
- Ордер на облигации Оглавление1 Поручительство по облигациям1.1 Определение порядка связей1.2 Примеры порядка связей1.3 Нецелочисленные порядки связей1.4 Порядок связей в...
- Арифметика второго порядка Арифметика второго порядка Арифметика второго порядка – это теория, включающая аксиомы, связанные с индукцией и замыканием...
- Арифметика Пресбургера Оглавление1 Арифметика пресбургера1.1 Определение Пресбургской Арифметики1.2 Основные Операции Пресбургской Арифметики1.3 Теорема Мучника1.4 Применение Теоремы Мучника1.5 Библиография2...
- Принципы индукции, ограничения и наименьшего числа Оглавление1 Принципы индукции, ограничения и наименьшего числа1.1 Основы математической индукции1.2 Принципы математической индукции1.3 Нестандартные модели и...
- Принципы индукции, ограничения и наименьшего числа Оглавление1 Принципы индукции, ограничения и наименьшего числа1.1 Основы математической индукции1.2 Принципы математической индукции1.3 Нестандартные модели и...
- Рекурсивная грамматика Оглавление1 Рекурсивная грамматика1.1 Определение рекурсивной грамматики1.2 Примеры рекурсивных и нерекурсивных грамматик1.3 Свойства рекурсивных грамматик1.4 Рекомендации2 Рекурсивная...
- Общая рекурсивная функция Оглавление1 Общая рекурсивная функция1.1 Определение и свойства μ-рекурсии1.2 Примеры μ-рекурсивных функций1.3 Теорема о нормальной форме и...
- Акс-ле-Терм – Arc.Ask3.Ru Оглавление1 Акс-ле-Терм1.1 География и транспорт1.2 Спа-центр1.3 История и культура1.4 Экономика и туризм1.5 Известные люди1.6 Полный текст...
- Аксиомы Пеано Оглавление1 Аксиомы Пеано1.1 Основы арифметики Пеано1.2 Непротиворечивость и финитизм1.3 Арифметика Пеано как теория первого порядка1.4 Эквивалентные...
- Школьная арифметика Арифметика Сколема Арифметика Сколема – расширение арифметики Пресбургера, основанное на теории множеств простых множителей. Арифметика Сколема...
- Описательная теория сложности Оглавление1 Описательная теория сложности1.1 Основы логики первого порядка1.2 Логика второго порядка1.3 Характеристики классов сложности1.4 Теорема Иммермана-Варди1.5...
- Основная теорема (анализ алгоритмов) Оглавление1 Основная теорема (анализ алгоритмов)1.1 Основная теорема асимптотического анализа1.2 Формулировка основной теоремы1.3 Примеры использования основной теоремы1.4...
- Эпсилон-индукция Оглавление1 Эпсилон-индукция1.1 Основы индукции множеств1.2 Примеры и доказательства1.3 Индукция и регулярность1.4 История и теория1.5 Полный текст...
- Эпсилон-индукция Оглавление1 Эпсилон-индукция1.1 Определение и применение принципа индукции1.2 Примеры и ограничения1.3 Индукция множеств и регулярность1.4 Эквивалентности и...
- Дифференциальное уравнение Оглавление1 Дифференциальное уравнение1.1 Определение дифференциальных уравнений1.2 История дифференциальных уравнений1.3 Типы дифференциальных уравнений1.4 Порядок и степень уравнения1.5...
- Логика второго порядка Логика второго порядка Логика второго порядка – это расширение логики первого порядка, позволяющее количественно оценивать свойства...