Оглавление
Арифметика пресбургера
-
Определение Пресбургской Арифметики
- Пресбургская арифметика – это система арифметических операций, основанная на предикатах.
- Пресбургская арифметика была предложена Пресбургером в 1929 году и является расширением арифметики Робинсона.
-
Основные Операции Пресбургской Арифметики
- Пресбургская арифметика включает операции сложения, вычитания, умножения и деления.
- Пресбургская арифметика также включает операции взятия остатка и сравнения.
-
Теорема Мучника
- Теорема Мучника утверждает, что Пресбургская арифметика является пресбургер-определяемой тогда и только тогда, когда выполняются определенные условия.
- Условия теоремы Мучника включают периодичность и существование определенных длин смен.
-
Применение Теоремы Мучника
- Теорема Мучника позволяет доказать разрешимость некоторых задач в Пресбургской арифметике.
-
Библиография
- Ссылки на работы, связанные с Пресбургской арифметикой, приведены в статье.
Полный текст статьи: