Formal theories of arithmetic

Вики

Аксиомы Пеано

/

Аксиомы Пеано Основы арифметики Пеано Арифметика Пеано – это аксиоматическая система, описывающая натуральные числа и операции над ними.  Аксиомы Пеано […]

Вики

Ограниченная арифметика

/

Ограниченная арифметика Определение и свойства ограниченной арифметики Ограниченная арифметика – это расширение арифметики, в котором используются только ограниченные кванторы.  Ограниченные

Вики

Типографская теория чисел

/

Теория типографских чисел Основы типографской теории чисел TNT – это система, которая позволяет записывать математические утверждения в виде формул.  TNT

Вики

Арифметика Пресбургера

/

Арифметика пресбургера Определение Пресбургской Арифметики Пресбургская арифметика – это система арифметических операций, основанная на предикатах.  Пресбургская арифметика была предложена Пресбургером

Вики

Гейтинговая арифметика

/

Захватывающая арифметика Основы конструктивной математики Конструктивная математика отличается от классической тем, что она основана на конструкциях, а не на доказательствах. 

Вики

Нестандартная модель арифметики

/

Нестандартная модель арифметики Нестандартная модель арифметики Пеано содержит дополнительные элементы за пределами начального сегмента.  Создание нестандартных моделей принадлежит Торальфу Сколему

Вики

Школьная арифметика

/

Арифметика Сколема Арифметика Сколема – расширение арифметики Пресбургера, основанное на теории множеств простых множителей.  Арифметика Сколема имеет изоморфизм с точечным

Вики

Арифметика Робинсона

/

Арифметика Робинсона Q – конечно аксиоматизированная теория первого порядка, слабее арифметики Пеано и неполная и неразрешимая.  Q интерпретируется во фрагменте

Вики

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

/

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

Вики

Арифметика второго порядка

/

Арифметика второго порядка Арифметика второго порядка – это теория, включающая аксиомы, связанные с индукцией и замыканием моделей.  Система ACA0 является

Вики

Истинная арифметика

/

Истинная арифметика Теорема Тарского утверждает, что арифметическая истина не может быть определена с помощью арифметики.  Теорема Поста показывает, что степень

Вики

Аксиомы Пеано

/

Аксиомы Пеано Аксиомы Пеано определяют натуральные числа и являются основой арифметики.  Аксиомы Пеано были предложены в начале 20 века и

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