RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические заметки // Архив

Матем. заметки, 2005, том 77, выпуск 2, страницы 291–302 (Mi mzm2481)

Финитные задачи и логика слабого закона исключенного третьего

А. В. Чернов

Московский государственный университет им. М. В. Ломоносова

Аннотация: Определяется новая характеристика пропозициональной формулы как операции над финитными задачами – мощность достаточного множества решений (ДМР). Доказывается, что если формула выводима в логике слабого закона исключенного третьего, то мощность ДМР ограничена константой, зависящей только от числа переменных; в противном случае достижимая мощность ДМР близка (больше корня некоторой степени) к тривиальной верхней оценке на нее. Это утверждение является аналогом ранее опубликованного результата автора об алгоритмической сложности множеств, полученных как значения пропозициональных формул. Также введено понятие колмогоровской сложности финитной задачи и получены аналогичные результаты.
Библиография: 11 названий.

УДК: 510.52

Поступило: 12.11.2003

DOI: 10.4213/mzm2481


 Англоязычная версия: Mathematical Notes, 2005, 77:2, 263–272

Реферативные базы данных:


© МИАН, 2024