Жук, Д. Н. Критерий разрешимости проблемы А-полноты для дефинитных автоматов [Текст] / Д. Н. Жук // Доклады Академии наук. - 2011. - Т. 439, N 1, июль. - С. 18-20. . - Библиогр.: с. 20
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): алгоритмическая неразрешимость задач -- дефинитные автоматы -- системы автоматных функций Аннотация: Рассмотрен критерий разрешимости проблемы А-полноты для дефинитных автоматов. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Парамонов, С. В. О рациональных решениях линейных уравнений с частными производными или разностями [Текст] / С. В. Парамонов // Программирование. - 2013. - № 2. - С. 11-14. - Библиогр.: с. 14 (10 назв.) . - ISSN 0132-3474
Рубрики: Техника Автоматизация оборудования Кл.слова (ненормированные): линейные уравнения -- линейные однородные уравнения -- алгоритмическая неразрешимость -- рациональные функции -- рациональные решения Аннотация: Доказывается алгоритмическая неразрешимость задачи распознавания существования решений в виде рациональных функций для имеющих полиномиальные коэффициенты линейных однородных уравнений с частными производными или разностями. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Парамонов, С. В. Задача проверки существования решений дифференциальных уравнений в частных производных в полях лорановых рядов [Текст] / С. В. Парамонов // Программирование. - 2014. - № 2. - С. 26-31. - Библиогр.: с. 31 (16 назв.) . - ISSN 0132-3474
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): алгоритмическая неразрешимость -- дифференциальные уравнения -- лорановые решения -- лорановые ряды -- мономиальные решения -- мономы -- полиномиальные коэффициенты -- сходящиеся ряды Аннотация: Доказывается алгоритмическая неразрешимость задачи проверки существования решений в поле лорановых рядов для линейных дифференциальных уравнений в частных производных с полиномиальными коэффициентами. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Бессонов, А. В. Теорема Гёделя о неполноте арифметики и аксиома полноты [Текст] / А. В. Бессонов // Философия науки. - 2019. - № 2. - С. 25-34. - Библиогр.: с. 34 (11 назв. ) . - ISSN 1560-7488
Рубрики: Математика Теория чисел Кл.слова (ненормированные): Гёделя теорема о неполноте -- Дедекинда - Пеано арифметика -- аксиома полноты -- арифметика -- арифметика Дедекинда - Пеано -- непротиворечивость -- неразрешимость -- предикат доказуемости -- предикат разрешимости -- теорема Гёделя о неполноте -- формальная арифметика Аннотация: Теорема К. Гёделя о неполноте формальной арифметики Дедекинда - Пеано оценивается с точки зрения различных негёделевых средств формализации (не) доказуемости. Вводится предикат разрешимости, с использованием которого строится формула, формально выражающая полноту арифметики, и доказывается ее неразрешимость. Отсюда следует, что присоединение к формальной арифметике аксиомы ее полноты приводит к непротиворечивой системе, что в некотором смысле противоречит первой теореме Геделя о неполноте. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |