Výsledky vyhľadávania - "АЛГОРИТМИЧЕСКАЯ НЕРАЗРЕШИМОСТЬ"

The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable ; Проблема разрешимости позитивной теории произвольной группы алгоритмически неразрешима

Autori: Valeriy Georgievich Durnev Alena Igorevna Zetkina Валерий Георгиевич Дурнев a ďalší

Prispievatelia: Valeriy Georgievich Durnev Alena Igorevna Zetkina Валерий Георгиевич Дурнев a ďalší

Zdroj: Chebyshevskii Sbornik; Том 24, № 1 (2023); 40-49 ; Чебышевский сборник; Том 24, № 1 (2023); 40-49 ; 2226-8383 ; 10.22405/2226-8383-2023-24-1

Predmety: алгоритмическая неразрешимость, positive group theory, positive group class theory, algorithmic solvability, algorithmic insolubility, позитивная теория группы, позитивная теория класса групп, алгоритмическая разрешимость

Popis súboru: application/pdf

Relation: https://www.chebsbornik.ru/jour/article/view/1472/1053; Адян С. И. Алгоритмическая неразрешимость проблем распознавания некоторых свойств; групп // Докл. АН СССР. 1955. Т. 103, № 4. С. 533–535.; Адян С. И. Неразрешимость некоторых алгоритмических проблем теории групп // Труды; ММО. 1957. Т. 6. С. 231-298.; Rabin M. O. Recursive unsolvability of group theoretic problems // Ann. of Math. 1958. Vol. 67; № 1. P. 172-194.; Collings D. J. On recognizing Hopf groups // Arh. Math. 1969. Vol. 20. P. 235-240.; Miller C. F. III. Decision problems for groups – servey and reflections // Math. Sci. Res. Inst.; Publ. 1992. Vol. 23. P. 1-59.; Miller C. F. III, Schupp P.E. Embeddings into Hopfian groups // Journal Algebra, 1971. Vol. 17.; P. 171-176.; Miller C. F. III. On group-theoretic decision problems and their classification // Ann. of Math.; Studies. 1971. Vol. 68. Princeton University Press.; Мерзляков Ю. И. Позитивные формулы на свободных группах. // Алгебра и логика. 1966.; Т. 5, вып. 4. С. 25-42.; Sacerdote G. S. Almost all free products of groups have the same positive theory // Journal; Algebra. 1973. Vol. 27, № 3. P. 475-485.; Перязев Н. А. Позитивная неотличимость алгебраических систем и полнота позитивных; теорий // Матем. заметки. 1985. Т. 38, № 2. С. 208-212.; Перязев Н. А. Позитивные теории свободных моноидов // Алгебра и логика. 1993. Т. 32; № 2. С. 148- 159.; Ремеслеников В. Н. ∃-свободные группы // Сиб. матем. журнал. 1989. Т. 30, № 6. С. 193-; Маканин Г. С. Разрешимость универсальной и позитивной теорий свободной группы //; Изв. АН СССР. Серия матем. 1984. № 2. С. 35-749.; Матиясевич Ю.В. Диофантовость перечислимых множеств // Докл. АН СССР. 1970.; Т. 130, № 3. С. 495-498.; Мальцев А. И. Об одном соответствии между кольцами и группами // Матем. сб. 1960.; Т. 50, № 2. С. 257-266.; Борисов В. В. Простые примеры групп с неразрешимой проблемой тождества // Матем.; заметки. 1969. Т. 6, вып. 5. С. 521-532.; https://www.chebsbornik.ru/jour/article/view/1472

Dostupnosť: https://www.chebsbornik.ru/jour/article/view/1472
https://doi.org/10.22405/2226-8383-2023-24-1-40-49

Meaningfulness. Knowability. Verifiability ; Осмысленность. Познаваемость. Проверяемость

Autori: Фролов, К. Г.

Zdroj: Logiko-filosofskie studii; Том 15, № 2 (2017); 104-112 ; Логико-философские штудии; Том 15, № 2 (2017); 104-112 ; 2223-3954 ; 2071-9183

Predmety: meaningfulness, verificationism, semantics, algorithmically unsolvability, matrix mortality problem, Champernowne constant, осмысленность, верификационизм, семантика, алгоритмическая неразрешимость, смертность матриц, число Чамперноуна

Popis súboru: application/pdf

Relation: https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/528/518; https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/528

Dostupnosť: https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/528

Meaningfulness. Knowability. Verifiability

Zdroj: Logiko-filosofskie studii; Том 15, № 2 (2017); 104-112
Логико-философские штудии; Том 15, № 2 (2017); 104-112

Predmety: meaningfulness, verificationism, semantics, algorithmically unsolvability, matrix mortality problem, Champernowne constant, осмысленность, верификационизм, семантика, алгоритмическая неразрешимость, смертность матриц, число Чамперноуна

Popis súboru: application/pdf

Prístupová URL adresa: http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/528

ВАРИАНТ МАШИНЫ ТЬЮРИНГА С «ПОДСМАТРИВАЮЩЕЙ» ГОЛОВКОЙ

Autori: Тлюстен, Валерий

Predmety: МАШИНЫ ТЬЮРИНГА, МИНИМАЛЬНЫЕ МАШИНЫ ТЬЮРИНГА, АЛГОРИТМИЧЕСКАЯ ВЫЧИСЛИМОСТЬ, УНИВЕРСАЛЬНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ ФОРМАЛИЗМЫ, АЛГОРИТМИЧЕСКАЯ НЕРАЗРЕШИМОСТЬ, ПРОБЛЕМА ОСТАНОВА

Popis súboru: text/html

Dostupnosť: http://cyberleninka.ru/article/n/variant-mashiny-tyuringa-s-podsmatrivayuschey-golovkoy
http://cyberleninka.ru/article_covers/15716327.png

Вариант машины Тьюринга с «Подсматривающей» головкой

Zdroj: Вестник Адыгейского государственного университета. Серия 4: Естественно-математические и технические науки.

Predmety: МАШИНЫ ТЬЮРИНГА, МИНИМАЛЬНЫЕ МАШИНЫ ТЬЮРИНГА, АЛГОРИТМИЧЕСКАЯ ВЫЧИСЛИМОСТЬ, УНИВЕРСАЛЬНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ ФОРМАЛИЗМЫ, АЛГОРИТМИЧЕСКАЯ НЕРАЗРЕШИМОСТЬ, ПРОБЛЕМА ОСТАНОВА

Popis súboru: text/html

Prístupová URL adresa: http://cyberleninka.ru/article/n/variant-mashiny-tyuringa-s-podsmatrivayuschey-golovkoy
http://cyberleninka.ru/article_covers/15716327.png

Meaningfulness. Knowability. Verifiability

Additional Titles: Осмысленность. Познаваемость. Проверяемость

Autori: Фролов, К. Г.

Zdroj: Logiko-filosofskie studii; Том 15, № 2 (2017); 104-112; Логико-философские штудии; Том 15, № 2 (2017); 104-112; 2223-3954; 2071-9183

Témy: meaningfulness; verificationism; semantics; algorithmically unsolvability; matrix mortality problem; Champernowne constant, осмысленность; верификационизм; семантика; алгоритмическая неразрешимость; смертность матриц; число Чамперноуна, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion

URL: http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/528
http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/528/518
http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/528/518