Trying to learn how to translate from the human translation examples.
From professional translators, enterprises, web pages and freely available translation repositories.
in a series of papers robinson showed that a number of mathematical theories are undecidable.
В серии документов, Робинсон показала, что ряд математической теории undecidable.
Last Update: 2018-02-21
Usage Frequency: 1
Quality:
it has been shown that some code optimization problems are np-complete, or even undecidable.
Было показано, что некоторые проблемы оптимизации кода являются np-полными, или даже неразрешимыми.
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
he partially answered his own question in undecidable tiling problems in the hyperbolic plane which was published in 1978.
Он частично ответил на его собственный вопрос в undecidable плитки проблем в гиперболическую плоскость, которая была опубликована в 1978.
Last Update: 2018-02-21
Usage Frequency: 1
Quality:
he made a major contribution to the study of the foundations of mathematics, in particular the study of undecidable theories.
Он внес большой вклад в изучение основ математики, в частности исследование undecidable теорий.
Last Update: 2018-02-21
Usage Frequency: 1
Quality:
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.
Last Update: 2018-02-21
Usage Frequency: 1
Quality:
" 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.
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
Warning: Contains invisible HTML formatting
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.
Last Update: 2018-02-21
Usage Frequency: 1
Quality:
Warning: Contains invisible HTML formatting
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.
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
Warning: Contains invisible HTML formatting