Элементарная арифметика функций

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

Арифметика элементарных функций EFA — слабая система аксиом, используемая в математической логике.  EFA включает аксиомы арифметики Робинсона и индукцию для […]

Conjectures, Formal theories of arithmetic, Proof theory, Гипотезы, Теория доказательств, Формальные теории арифметики

Арифметика элементарных функций

  • EFA — слабая система аксиом, используемая в математической логике. 
  • EFA включает аксиомы арифметики Робинсона и индукцию для формул с ограниченными кванторами. 
  • Великая гипотеза Фридмана предполагает, что многие математические теоремы могут быть доказаны в очень слабых системах, таких как EFA. 
  • EFA имеет теоретическую силу доказательства, аналогичную другим слабым системам, таким как RCA и WKL. 
  • Существуют слабые фрагменты арифметики второго порядка, такие как RCA0∗ и WKL0∗, которые консервативны по сравнению с EFA для Π20 предложений. 
  • Элементарная рекурсивная арифметика (ERA) является подсистемой примитивной рекурсивной арифметики, обладающей тем же значением Π20 предложений, что и EFA. 

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

Элементарная арифметика функций — Википедия

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

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

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

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