-
Английский
-
Русский
-
Английский
-
Русский
Undecidability
Перевод undecidability на русский язык
undecidability
Существительное
The undecidability of certain mathematical problems is a fundamental concept in computer science.
Неразрешимость некоторых математических задач является фундаментальной концепцией в информатике.
Опеределения
undecidability
Существительное
The quality or state of being impossible to resolve or determine definitively.
The undecidability of the problem left the researchers in a state of perpetual debate.
In mathematics and logic, the property of a problem or proposition that cannot be conclusively proven to be true or false within a given formal system.
Gödel's incompleteness theorems highlight the undecidability inherent in certain mathematical systems.
Идиомы и фразы
problem of undecidability
The problem of undecidability is central to theoretical computer science.
проблема неразрешимости
Проблема неразрешимости является центральной в теоретической информатике.
undecidability issue
The undecidability issue poses significant challenges in algorithm design.
вопрос неразрешимости
Вопрос неразрешимости создает значительные проблемы в проектировании алгоритмов.
theory of undecidability
The theory of undecidability explores the limits of computability.
теория неразрешимости
Теория неразрешимости исследует пределы вычислимости.
concept of undecidability
The concept of undecidability is crucial in understanding Gödel's incompleteness theorems.
концепция неразрешимости
Концепция неразрешимости важна для понимания теоремы Гёделя о неполноте.
questions of undecidability
Questions of undecidability often arise in mathematical logic.
вопросы неразрешимости
Вопросы неразрешимости часто возникают в математической логике.
Примеры
The scientists explain that the undecidability arises from interference in the quantum device, implying that, at least in this scenario, undecidability appears to be a genuine quantum property.
Ученые объясняют этот феномен взаимодействиями в квантовом устройстве, отмечая, что, по крайней мере в данном случае, нерешаемость, по-видимому, является чисто квантовым свойством.
There’s a general problem of “undecidability” in a lot of questions you can ask about computer programs.
Существует общая проблема «неразрешимости» во многих вопросах, которые вы можете задать на тему компьютерных программ.
The conflict over the white elephants metonymically replaces conflict on the deepest level: the inability to resolve the first one tows the undecidability of the second.
Конфликт из-за белых слонов метонимически замещает конфликт на глубинном уровне: неразрешенность первого становится знаком неразрешимости второго.
Over the past several decades, I’ve had the opportunity to poll some of the world’s leading number theorists on where they think the boundary of undecidability lies.
За последние несколько десятилетий я опросил многих ведущих мировых теоретиков о том, где, по их мнению, лежит граница нерешаемости.
But I have also found evidence — not least through myPrinciple of Computational Equivalence — that undecidability is rife there.
Но я также нашел доказательства (не в последнюю очередь с помощью принципа вычислительной эквивалентности), что неразрешимости там хоть отбавляй.