Разрешимость (примеров 2)
-
Results in metalogic consist of such things as formal proofs demonstrating the consistency, completeness, and decidability of particular formal systems.
Результаты металогики в значительной степени состоят из формальных доказательств, демонстрирующих непротиворечивость, полноту и разрешимость конкретных формальных систем.
-
Decidability: there should be an algorithm for deciding the truth or falsity of any mathematical statement.
Алгоритмическая разрешимость: существует алгоритм для определения истинности или ложности любого математического утверждения.