来自专业的译者、企业、网页和免费的翻译库。
in a series of papers robinson showed that a number of mathematical theories are undecidable.
В серии документов, Робинсон показала, что ряд математической теории undecidable.
最后更新: 2018-02-21
使用频率: 1
质量:
it has been shown that some code optimization problems are np-complete, or even undecidable.
Было показано, что некоторые проблемы оптимизации кода являются np-полными, или даже неразрешимыми.
最后更新: 2016-03-03
使用频率: 1
质量:
he partially answered his own question in undecidable tiling problems in the hyperbolic plane which was published in 1978.
Он частично ответил на его собственный вопрос в undecidable плитки проблем в гиперболическую плоскость, которая была опубликована в 1978.
最后更新: 2018-02-21
使用频率: 1
质量:
he made a major contribution to the study of the foundations of mathematics, in particular the study of undecidable theories.
Он внес большой вклад в изучение основ математики, в частности исследование undecidable теорий.
最后更新: 2018-02-21
使用频率: 1
质量:
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.
最后更新: 2018-02-21
使用频率: 1
质量:
" 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.
最后更新: 2016-03-03
使用频率: 1
质量:
警告:包含不可见的HTML格式
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.
最后更新: 2018-02-21
使用频率: 1
质量:
警告:包含不可见的HTML格式
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.
最后更新: 2016-03-03
使用频率: 1
质量:
警告:包含不可见的HTML格式