Imparare a tradurre dagli esempi di traduzione forniti da contributi umani.
Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
in a series of papers robinson showed that a number of mathematical theories are undecidable.
В серии документов, Робинсон показала, что ряд математической теории undecidable.
Ultimo aggiornamento 2018-02-21
Frequenza di utilizzo: 1
Qualità:
it has been shown that some code optimization problems are np-complete, or even undecidable.
Было показано, что некоторые проблемы оптимизации кода являются np-полными, или даже неразрешимыми.
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:
he partially answered his own question in undecidable tiling problems in the hyperbolic plane which was published in 1978.
Он частично ответил на его собственный вопрос в undecidable плитки проблем в гиперболическую плоскость, которая была опубликована в 1978.
Ultimo aggiornamento 2018-02-21
Frequenza di utilizzo: 1
Qualità:
he made a major contribution to the study of the foundations of mathematics, in particular the study of undecidable theories.
Он внес большой вклад в изучение основ математики, в частности исследование undecidable теорий.
Ultimo aggiornamento 2018-02-21
Frequenza di utilizzo: 1
Qualità:
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.
Ultimo aggiornamento 2018-02-21
Frequenza di utilizzo: 1
Qualità:
" 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.
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:
Attenzione: contiene formattazione HTML nascosta
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.
Ultimo aggiornamento 2018-02-21
Frequenza di utilizzo: 1
Qualità:
Attenzione: contiene formattazione HTML nascosta
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.
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:
Attenzione: contiene formattazione HTML nascosta