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