Translation of decidability into Russian
Noun
logic
- The decidability of the problem was proven in the study.Разрешимость проблемы была доказана в исследовании.
Synonyms and analogies of decidability in English
Examples of decidability in a sentence
The decidability of the equation was questioned by the mathematician.
Translations of "decidability" in Context ordered by category and frequency
Even if trustworthiness doesn't require certainty, it is not the same thing as quick and easy decidability.
Но даже если надёжность не требует уверенности, она не то же самое, что быстрая и простая разрешимость.
Results in metalogic consist of such things as formal proofs demonstrating the consistency, completeness, and decidability of particular formal systems.
Результаты металогики в значительной степени состоят из формальных доказательств, демонстрирующих непротиворечивость, полноту и разрешимость конкретных формальных систем.
Decidability of theories of the first order of matrix algebras and
Разрешимость теорий первого порядка матричных алгебр и групп преобразований
However, he was not able to shake loose an answer to Hilbert's question as to the decidability of arithmetic.
Тем не менее, он не смог расшатать ответ Гилберта на вопрос о разрешимости арифметики.
decidability: Examples and translations in context
Here one should note research into the elementary theory of classes of models, in particular, decidability questions in these theories, axiomatizability of classes of models, isomorphism of models, and questions of categoricity and completeness of classes of models.
Здесь можно отметить исследования по элементарным теориям классов моделей, в частности вопросы разрешимости этих теорий, аксиоматизируемость классов моделей, изоморфизм моделей, вопросы категоричности и полноты классов моделей.
The concept of decidability of a formal theory, on the other hand, is purely syntactic, while the concept of completeness is predominantly semantic.
Понятие разрешимости формальной теории носит, напротив, чисто синтаксический характер, а понятие полноты - по преимуществу семантический.
Given that some mathematical statements are undecidable, is there a program, the "decidability program," that can tell whether any mathematical statement is decidable, even without deciding whether it is true or false?
Учитывая, что некоторые математические утверждения неразрешимы, существует ли программа, «программа разрешимости», которая может определить, является ли любое математическое утверждение разрешимым, даже не решая, является ли оно истинным или ложным?
Results in metalogic consist of such things as formal proofs demonstrating the consistency, completeness, and decidability of particular formal systems.
Результаты металогики в значительной степени состоят из формальных доказательств, демонстрирующих непротиворечивость, полноту и разрешимость конкретных формальных систем.
This theorem makes it possible to transfer a property (for example, completeness or decidability) from an extension of the system S4 (or G) to an intermediate logic.
Эта теорема позволяет переносить нек-рые свойства (напр., полноту или разрешимость) с расширений системы S4 (или G) на промежуточные логики.
That left the third of Hilbert's questions, that of decidability or, as Hilbert called it, the Entscheidungsproblem or "decision problem."
Оставался третий вопрос Гильберта - вопрос о разрешимости, или, как Гильберт назвал его, Entscheidungsproblem, "проблема разрешения".