Викия

Математика

Разрешимость

1457статей на
этой вики
Добавить новую страницу
Обсуждение0 Share

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

Шаблон:Empty Разрешимость – это возможность определить (для произвольной формулы формальной теории), выводима или нет эта формула из множества аксиом.

Данное свойство присуще исчислению высказываний. Исчисление предикатов им не обладает.


cs:Rozhodnutelnosthe:כריעות

pl:Rozstrzygalność sl:Odločljivost

Викия-сеть

Случайная вики