Какво е " UNDECIDABLE " на Български - превод на Български

• undecidable
• неразрешимо
• нерешим
• неопределимо

Примери за използване на Undecidable на Английски и техните преводи на Български

But it is also crouched and undecidable.
Но също така e свит и нерешим.

Subsequently, many other undecidable problems have been described.
По-късно са открити и множество други нерешими проблеми.

This contradiction shows that M is undecidable.
Полученото противоречие показва че p не е просто.

Reprinted in The Undecidable, pp. 237ff.
Публикувана отново в The Undecidable, pp. 255ff.

Undecidable nouns: types, rules for determining their kind, examples.
Несклоняем съществителни: видове, правилата за определянето им вид примери.

Reprinted in The Undecidable, p.
Публикувана отново в The Undecidable, p.

In a series of papers Robinson showed that a number of mathematical theories are undecidable.
В поредица от статии Робинсън показа, че броят на математически теории са undecidable.

Reprinted in"The Undecidable", p. 255ff.
Публикувана отново в"The Undecidable", p. 255ff.

The importance of the halting problem lies in the fact that it is the first problem to be proved undecidable.
Проблемът за спирането е с историческа важност, понеже е първият проблем, който е доказано нерешим.

The halting problem is undecidable for Turing machines.
Проблемът за спирането е нерешим за всяка машина на Тюринг.

In 1953 Tarski, together with Robinson and Mostowski, published Undecidable theories.
През 1953 Tarski, заедно с Робинсън и Mostowski, публикувани Undecidable теории.

An undecidable statement is one which can neither be proven true nor false in a formal system.
Някои твърдения са нерешими- нито могат да бъдат доказани, нито да бъдат опровергани в рамките на достатъчно мощна формална система.

The theory of Diophantine equations has even been shown to be undecidable(see Hilbert's tenth problem).
Теорията на диофантовите уравнения е доказано неразрешима(виж Хилбертови проблеми).

Ray tracing in 3D optical systems with a finite set of refractive objects represented by a system of rational linear inequalities is undecidable.
Проследяването на лъчи в триизмерни оптични системи с крайно множество от пречупващи обекти, представени чрез система на рационални линейни неравенства, е неразрешимо.

The typical method of proving a problem to be undecidable is with the technique of reduction.
Типичен метод за доказване на нерешимостта на даден проблем е редукцията му до вече познат нерешим проблем.

The halting problem is historically important because it was one of the first problems to be proved undecidable.
Проблемът за спирането е с историческа важност, понеже е първият проблем, който е доказано нерешим.

An impossible object(also known as an impossible figure or an undecidable figure) is a type of optical illusion.
Невъзможната фигура(срещано също като невъзможни обект/ тяло/ форма) или неразрешима фигура е вид оптична илюзия.

Ray tracing in 3D optical systems with a finite set of rectangular reflective or refractive objects is undecidable.
Проследяването на лъчи в триизмерни оптични системи с крайно множество от правоъгълни отразяващи или пречупващи обекти е неразрешимо.

They proved that the Mandelbrot set is undecidable, a question which Turing theory does not allow one to even formulate.
Те доказаха, че Mandelbrot стаята е undecidable, един въпрос, който Тюринг теория не позволява дори и да формулират едно.

He made a major contribution to the study of the foundations of mathematics, in particular the study of undecidable theories.
Той направи голям принос в изучаването на основите на математиката, по-специално проучване на undecidable теории.

He partially answered his own question in Undecidable tiling problems in the hyperbolic plane which was published in 1978.
Той отговаря частично своя въпрос в Undecidable плочки проблеми в hyperbolic равнина, която бе публикувана през 1978 година.

In Undecidable theories Tarski showed that group theory, lattices, abstract projective geometry, closure algebras and others mathematical systems are undecidable.
В Undecidable теории Tarski показа, че групата теория, lattices, абстрактно projective геометрия, закриване algebras и други математически системи са undecidable.

In 1934 Gödel gave a series of lectures at Princeton entitled On undecidable propositions of formal mathematical systems.
През 1934 Gödel даде серия от лекции в Принстън, озаглавено На undecidable предложения за професионална математически системи.

In Undecidable Theories, Tarski et al. showed that many mathematical systems, including lattice theory, abstract projective geometry, and closure algebras, are all undecidable.
В Undecidable теории Tarski показа, че групата теория, lattices, абстрактно projective геометрия, закриване algebras и други математически системи са undecidable.

This equivocation on the“end” of“man” points to Derrida's own view of the undecidable place of the subject within philosophical discourse.
Тази двойственост на“края” на“човека” сочи към собствения възглед на Дерида за нерешимото място на субекта в рамките на философския дискурс.

Ray tracing in 3D optical systems with a finite set of reflective or partially reflective objects represented by a system of linear inequalities, some of which can be irrational is undecidable.
Проследяването на лъчи в триизмерни оптични системи с крайно множество от отразяващи или частично отразяващи обекти, представени чрез система от линейни неравенства, някои от които могат да бъдат ирационални, е неразрешимо.

In her thesis Definability and decision problems in arithmetic Robinson proved that the arithmetic of rational numbers is undecidable by giving an arithmetical definition of the integers in the rationals.
В нейната дисертация Definability и решението проблеми в смятането Робинсън се оказа, че смятането на рационални числа е undecidable с което е аритметичната определение на числа в rationals.

He also examined the concept of'essentially undecidable' introduced by Tarski, and answered an important open question by constructing a theory with a finite number of axioms that is essentially undecidable.
Той също така разглежда концепцията за"по същество undecidable", въведена с Tarski, както и отговори на един важен въпрос от изграждането на отворена една теория, с ограничен брой на аксиоми, че е по същество undecidable.

Work on Hilbert's 10th problem led in the late twentieth century to the construction of specific Diophantine equations for which it is undecidable whether they have a solution, or even if they do, whether they have a finite or infinite number of solutions.
В края на ХХ век се достига до изграждане на специфични Диофантови уравнения, за които не се знае дали имат решение, или дори ако имат, не е ясно дали са краен или безкраен брой решения.

In A decision method for elementary algebra and geometry Tarski showed that the first-order theory of the real numbers under addition and multiplication is decidable which is in contrast, in a way which is really surprising to non-experts, to the results of Gödel and Church who showed that the first-order theory of the natural numbers under addition and multiplication is undecidable.
В едно решение на метод за елементарна алгебра и геометрия Tarski показа, че на първия ред теория на реалните числа при добавянето и размножаване е decidable, което е в контраст с това, по начин, който наистина е изненадващо, които не са експерти, за резултатите от Gödel и Църквата които показаха, че на първия ред теорията на естествените числа по допълнение и размножаване е undecidable.