Неразрешима - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
Теорема крускала о дереве, которая имеет приложения в информатике, также неразрешима из арифметики Пеано, но доказуема в теории множеств. |
Kruskal's tree theorem, which has applications in computer science, is also undecidable from Peano arithmetic but provable in set theory. |
Проверка последовательной согласованности с помощью проверки моделей вообще неразрешима, даже для протоколов когерентности конечных состояний кэша. |
Verifying sequential consistency through model checking is undecidable in general, even for finite-state cache coherence protocols. |
Колин Макгинн утверждает, что Китайская комната дает убедительные доказательства того, что трудная проблема сознания принципиально неразрешима. |
Chinese police officers under the Ministry of Public Security use rank insignia on both side of shoulders on the duty uniform. |
Пенсионная проблема в Иллинойсе - реальна и все более неразрешима. |
The pension problem in Illinois is real and increasingly insurmountable. |
Это давний результат, что проблема остановки неразрешима, и поэтому даже perl не всегда может разобрать Perl. |
It is a long-standing result that the halting problem is undecidable, and therefore not even perl can always parse Perl. |
В 1973 году Сахарон Шела показал, что проблема Уайтхеда в теории групп неразрешима, в первом смысле этого термина, в теории стандартных множеств. |
In 1973, Saharon Shelah showed that the Whitehead problem in group theory is undecidable, in the first sense of the term, in standard set theory. |
Древовидная теорема крускала, которая имеет приложения в компьютерных науках, также неразрешима из аксиом Пеано, но доказуема в теории множеств. |
Kruskal's tree theorem, which has applications in computer science, is also undecidable from the Peano axioms but provable in set theory. |
В 1973 году Сахарон Шела показал, что проблема Уайтхеда в теории групп неразрешима, в первом смысле этого термина, в теории стандартных множеств. |
In 1973, Saharon Shelah showed the Whitehead problem in group theory is undecidable, in the first sense of the term, in standard set theory. |
Следовательно, проблема остановки неразрешима для машин Тьюринга. |
Hence, the halting problem is undecidable for Turing machines. |
Эта проблема является надмножеством проблемы остановки, которая неразрешима. |
This problem is a superset of the halting problem, which is undecidable. |
Животные чувствовали, что проблема неразрешима; во всяком случае, у них почти не оставалось времени, чтобы говорить на подобные темы. |
The animals found the problem insoluble; in any case they had little time for speculating on such things now. |
Колин Макгинн утверждает, что Китайская комната дает убедительные доказательства того, что трудная проблема сознания принципиально неразрешима. |
Colin McGinn argues that the Chinese room provides strong evidence that the hard problem of consciousness is fundamentally insoluble. |
Жизнь неразрешима, а это значит, что при наличии начального паттерна и последующего паттерна не существует алгоритма, который мог бы сказать, появится ли когда-нибудь более поздний паттерн. |
Life is undecidable, which means that given an initial pattern and a later pattern, no algorithm exists that can tell whether the later pattern is ever going to appear. |
Древние греки считали, что строительные проблемы, которые они не могли решить, были просто упрямыми, а не неразрешимыми. |
The ancient Greeks thought that the construction problems they could not solve were simply obstinate, not unsolvable. |
Что еще хуже, досрочные выборы могут завести страну в долговременный и неразрешимый политический тупик, если не получится создать правительство большинства. |
Or, even worse, early elections could result in unresolved long-term political deadlock without a majority government. |
Заставишь себя так думать - вот и решена неразрешимая задача. |
Make up your mind to it, and you've solved the problem. |
Теперь давайте на минутку перенесёмся туда, где происходит, по всеобщему мнению, самый сложный, или самый неразрешимый, конфликт, - на Ближний Восток. |
Now let me take you for a moment to what's widely regarded as the world's most difficult conflict, or the most impossible conflict, is the Middle East. |
Они сосредоточивают в себе самые невозможные, неразрешимые и трагические проблемы. |
They have the impossible, unsolvable, tragic problems of all fringe cultures. |
Другие проблемы, начиная с Ирана, Израиля и Палестины, и кончая Северной Кореей, кажутся неразрешимыми и безнадежными, и по ним, скорее всего, будет гораздо больше ханжеской риторики, нежели практических решений. |
Other issues, from Iran to Israeli-Palestinian negotiations to Korea, range from improbable to hopeless, and are likely to yield more pious rhetoric than practical solutions. |
Затем игра становится одной из накапливающихся издержек-либо издержек показа, либо издержек длительного неразрешенного взаимодействия. |
The game then becomes one of accumulating costs, either the costs of displaying or the costs of prolonged unresolved engagement. |
Вместе с тем он отметил, что ряд почти неразрешенных конфликтов и конфликтов в расписании задержали их шансы на сотрудничество. |
He noted however that a series of near misses and scheduling conflicts had delayed their chance of collaborating. |
The Jewish problem has seemed to me well nigh insoluble. |
|
И вполне вероятно, предполагает что-то гораздо более зловещее, и гораздо более неразрешимое. |
And very probably suggests something far more sinister, and far more impenetrable. |
Из-за неразрешимых эксплуатационных проблем это использование было признано устаревшим. |
Due to unsolvable operational problems, this use has been deprecated. |
Со стороны, проблема может и не кажется совсем уж неразрешимой, но внутри семьи это имеет огромное значение, один неверный поступок приводит к серьёзному разрыву. |
From the outside, they may not seem too impossible to solve, but inside the family they have huge significance and if mishandled can cause real ruptures. |
Блин, кто использует неразрешённый чит? |
Dude! Who's using the flak-jacket cheat? |
Вот это вызов, но не неразрешимо, потому что у всех актеров есть отчетливые различия, которые я использую, чтобы находить ответы. |
A challenge, certainly, but not unsolvable, because all actors have distinct values, which I use to find answers. |
Грегори Чайтин создал неразрешимые утверждения в алгоритмической теории информации и доказал еще одну теорему неполноты в этой постановке. |
Gregory Chaitin produced undecidable statements in algorithmic information theory and proved another incompleteness theorem in that setting. |
Филогенетические взаимоотношения нематод и их близких родственников среди протостомиальных Метазоа остаются неразрешенными. |
The phylogenetic relationships of the nematodes and their close relatives among the protostomian Metazoa are unresolved. |
Фактически, неразрешимые, психотические проблемы, Которые никогда не изменятся. |
Actual, irresolvable, psychotic problems that will never, ever change. |
Их было не так легко обнаружить на странице, когда они смешивались с другими типами неразрешимых утверждений в приблизительно историческом порядке. |
It wasn't so easy to spot them on the page when mixed up with other types of undecidable statement in roughly historical order. |
А теперь вы привезли в госпиталь неразрешенного пациента, и подвергли опасности жизни каждого пациента что здесь находятся. |
But now you bring in an unauthorized admission into this hospital, and you endanger the lives of every patient in here. |
We have an unauthorised departure from Bay 6. |
|
Только что ему немного уяснился вопрос о том, как жить, как представился новый неразрешимый вопрос - смерть. |
The question how to live had hardly begun to grow a little clearer to him, when a new, insoluble question presented itself-death. |
That seemed the simplest solution of the otherwise insoluble. |
|
Дайте мне сложнейшую проблему, загрузите меня работой, дайте самый заковыристый шифр или неразрешимую задачу, и я обрету смысл существования. |
Give me, uh, give me problems, give me work, give me, uh, the most abstruse cryptogram or the most intricate analysis, and I'm in my very own atmosphere. |
Похоже на неразрешимую задачу. |
Seems an insurmountable task, this. |
Чувство сострадания к ней, к себе самому, чувство грусти перед неразрешенными противоречиями жизни пришло на смену мстительной злобе. |
In a moment his mood changed to one of sorrow for Aileen, for himself, for life, indeed-its tangles of desire and necessity. |
Есть множество неразрешенных вопросов, которые нужно... разрешить. |
There's a lot of unresolved issues that need... resolving. |
Я считаю, что это уравнение парадоксальности неразрешимо. |
I believe this paradoxicality equation to be unsolvable. |
И снова, пытливый и нестандартный мозг Джонатана Крика пролил луч света в царстве тьмы, устанавливая истину в еще одной, казалось бы неразрешимой, таинственной истории. |
Once again, the probing lateral brain of Jonathan Creek had pierced the dark, restoring reason to another seemingly impossible mystery. |
but for those who stay, death is an insoluble problem. |
|
One zero two is banking left onto unauthorised flight path. |
|
Всякий мыслящий человек знает, что жизнь -неразрешимая загадка; остальные тешатся вздорными выдумками да еще попусту волнуются и выходят из себя. |
We all know that life is unsolvable-we who think. The remainder imagine a vain thing, and are full of sound and fury signifying nothing. |
Дженни делает успехи в решении проблем, которые десятилетиями считались неразрешимыми. |
Jennie is making headway into what has been seen for decades as an almost intractable problem. |
Возникли споры относительно обоснованности покупки земли, которые так и остались неразрешенными, когда Грей стал губернатором. |
Disputes arose as to the validity of purchases of land, which remained unresolved when Grey became governor. |
Интеллектуальные машины скоро позволят нам решить большинство наших неразрешимых проблем. |
Intelligent machines will soon allow us to conquer our most intractable challenges. |
Все неразрешенные комментарии, которые я нашел, были скопированы сюда, в дополнение к очищенной версии сегмента будущих статей focus. |
All unresolved comments that I found have been copy-pasted here, in addition to a cleaned-up version of the future focus articles segment. |
На самом деле он утверждает, что разум неизбежно выходит за пределы понимания, приводя к ряду неразрешимых антиномий. |
In fact, he asserts that reason inevitably transgresses the boundaries of understanding, resulting in a series of irresolvable antinomies. |
For the time being, the situation remains open. |
|
Существование внешнего мира рассматривается скорее как неразрешимый вопрос, чем как действительная ложь. |
The existence of an external world is regarded as an unresolvable question rather than actually false. |
Эта история поднимает неразрешенный вопрос о том, сколько нереализованного потенциала действительно содержит человеческий мозг. |
The story raises the unresolved question of how much unfulfilled potential the human brain truly contains. |
Да и сейчас он, в сущности, неразрешим: случайные свидетели старого мира не способны сравнить одну эпоху с другой. |
But in effect it was unanswerable even now, since the few scattered survivors from the ancient world were incapable of comparing one age with another. |
Для справки, Гедель утверждал это дважды, и их можно найти в добавлениях к статьям как в неразрешимом, так и в Ван Хейеноорте. |
For reference, Goedel asserted this twice, and these can be found in addenda to articles in both The Undecidable and van Heijenoort. |
У них оставались неразрешенные дела. |
There were business matters still in question. |
Поскольку уравнения поля нелинейны, Эйнштейн предположил, что они неразрешимы. |
Since the field equations are non-linear, Einstein assumed that they were unsolvable. |
Его великий опус этика содержит неразрешенные неясности и имеет запретную математическую структуру, смоделированную по геометрии Евклида. |
His magnum opus, Ethics, contains unresolved obscurities and has a forbidding mathematical structure modeled on Euclid's geometry. |
- неразрешимый конфликт - irresolvable conflict
- неразрешимая трудность - inextricable difficulty
- алгоритмически неразрешимая задача - undecidable problem
- неразрешимая проблема - unsolvable problem
- неразрешимые конфликты - irresolvable conflicts
- неразрешимые противоречия - insoluble contradictions
- алгоритмическая неразрешимость - algorithmic insolubility
- алгоритмически неразрешима - algorithmically unsolvable
- алгоритмический неразрешимая проблема - algorithmically unsolvable problem
- задача неразрешима - the problem is insoluble
- казалось бы, неразрешимые - seemingly intractable
- казалось бы, неразрешимые проблемы - seemingly intractable problems
- тяжелая хроническая боль неразрешимой - severe chronic intractable pain
- непреодолимая, неразрешимая проблема - insoluble / insurmountable problem
- неразрешимая [непрогнозируемая] ветвь - unresolved branch
- неразрешимая арифметика - undecidable arithmetic
- неразрешимая бедность - intractable poverty
- неразрешимая боль - intractable pain
- неразрешимая головоломка - unsolvable puzzle
- неразрешимая двойная звезда - unresolved binary
- неразрешимая ссылка - unresolved reference
- неразрешимые проблемы - intractable problems
- неразрешимыми и - intractable and
- практически неразрешимая проблема - narrow squeak
- существенная неразрешимость - essential insolubility
- рекурсивная неразрешимость - recursive insolubility
- существенно неразрешимый - essentially undecidable
- существенно неразрешимая теория - essentially undecidable theory
- существенно неразрешимая система - essentially undecidable system
