Sie suchten nach: undecidability (Russisch - Englisch)

undecidability of the monadic fragment» (undated manuscript).
undecidability of the monadic fragment" (undated manuscript).

В 1971 из упомянутых выше документов, Робинсон требует вопрос о undecidability и nonperiodicity результаты tilings в гиперболическую плоскость.
in the 1971 paper mentioned above, robinson asks a question about undecidability and nonperiodicity results for tilings of the hyperbolic plane.

Он изучал undecidability от начальной классической теории линейных групп и доказали, что класс местной свободной алгебры имеют decidable теории.
he investigated the undecidability of the elementary theory of classical linear groups and proved that the class of locally free algebras had a decidable theory.

История Церкви работы по computability и undecidability, на основе его переписки с Бернайс период 1934-1937, рассматривается Сиег в.
the background to church's work on computability and undecidability, based on his correspondence with bernays during the years 1934-1937, is examined by sieg in .

undecidability предусматривает прекращение проблема turing машин и в 1991, когда Робинсон был лет 80, он опубликовал Минская небольшой универсальной машины turing которая описывает универсальный turing машина с 4 символов и 7 штатов.
undecidability involves the halting problem for turing machines and in 1991, when robinson was aged 80, he published minsky's small universal turing machine which describes a universal turing machine with 4 symbols and 7 states.

В крупных документ undecidability и nonperiodicity для tilings в плоскости опубликованы в 1971, Робинсон продолжает изучать проблемы рода, что он рассматривается в течение длительного времени. d a Кларнер пишет в обзоре:
in a major paper undecidability and nonperiodicity for tilings of the plane published in 1971, robinson continued to study problems of a kind that he had examined for a long while. d a klarner writes in a review:

«the undecidability of monadic modal quantification theory», "zeitschrift für mathematische logik und grundlagen der mathematik" 8:113-116* 1963.
"the undecidability of monadic modal quantification theory", "zeitschrift für mathematische logik und grundlagen der mathematik" 8:113–116* 1963.