Vous avez cherché: undecidable (Anglais - Russe)

in a series of papers robinson showed that a number of mathematical theories are undecidable.
В серии документов, Робинсон показала, что ряд математической теории undecidable.

it has been shown that some code optimization problems are np-complete, or even undecidable.
Было показано, что некоторые проблемы оптимизации кода являются np-полными, или даже неразрешимыми.

he partially answered his own question in undecidable tiling problems in the hyperbolic plane which was published in 1978.
Он частично ответил на его собственный вопрос в undecidable плитки проблем в гиперболическую плоскость, которая была опубликована в 1978.

he made a major contribution to the study of the foundations of mathematics, in particular the study of undecidable theories.
Он внес большой вклад в изучение основ математики, в частности исследование 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.
В серии документов, Робинсон показала, что ряд математической теории undecidable.

" and "on formally undecidable propositions of principia mathematica and related systems i" in solomon feferman, ed., 1986.
" and "on formally undecidable propositions of principia mathematica and related systems i" in solomon feferman, ed., 1986.

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" представлен Тарски, и отвечал важным открытым вопрос построения теории в конечное число аксиом, которые в основном undecidable.

gödel's paper was published in the "monatshefte" in 1931 under the title "Über formal unentscheidbare sätze der principia mathematica und verwandter systeme i" (on formally undecidable propositions in principia mathematica and related systems i).
* Академик Ю. Л. Ершов "«Доказательность в математике»", программа А. Гордона от 16 июня 2003 года* 1931, "Über formal unentscheidbare sätze der principia mathematica und verwandter systeme, i.