ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Доказана алгоритмическая неразрешимость проблемы распознавания расширений для любого пропозиционального исчисления с непустым множеством аксиом, правилами вывода которого являются операция modus ponens и подстановка.