Зображення обкладинки

Неповнота арифметики і теорія діофантових множин

Analysis of Diophantine sets showed that all recursively enumerated sets are Diophantine. Based on the classical results in the theory of computable functions, a simple version of the theorem on the incompleteness of arithmetic can be given: there is a polynomial that does not have positive integer...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2023
Автори:	Hupal, Anatolii, Hupal, Mykyta
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України 2023
Теми:	діофантова множина рекурсивно перелічені множини неповнота арифметики.
Онлайн доступ:	https://www.fmmit.lviv.ua/index.php/fmmit/article/view/278
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Physico-mathematical modeling and informational technologies
Завантажити файл:

Репозитарії

Physico-mathematical modeling and informational technologies

Схожі ресурси

Функціональні послідовності з нечітким аргументом: збіжність множин рівня
за авторством: Spectorsky, Igor Ya.
Опубліковано: (2019)

БАГАТОКРИТЕРІАЛЬНІ ЗАДАЧІ В ЕНЕРГЕТИЦІ ТА МЕТОДИ ЇХНЬОГО РОЗВ'ЯЗАННЯ НА ОСНОВІ ТЕОРІЇ НЕЧІТКИХ МНОЖИН
за авторством: Екєль, П.Я., та інші
Опубліковано: (2014)

Комбінаторні конфігурації, фрактали, фрактальна розмірність комбінаторних множин: Fìz.-mat. model. ìnf. tehnol. 2021, 33:170-174
за авторством: Tymofijeva, Nadija
Опубліковано: (2021)

Сучасні стохастичні квазіградієнтні алгоритми оптимізації
за авторством: Норкін, В.І., та інші
Опубліковано: (2024)

Stochastic differential formula and solution of control problem
за авторством: Dziubenko, K.
Опубліковано: (2024)

Аналіз кластерної структури Інтернет-мереж на основі випадкових матриць
за авторством: Кириченко, О.Л., та інші
Опубліковано: (2022)

Прискорене моделювання ймовірності втрати вимоги у системі обслуговування з двічі стохастичними пуассонівськими вхідними потоками
за авторством: Кузнєцов, М.Ю., та інші
Опубліковано: (2024)

Моделювання ймовірнісних характеристик дерева розгалужень у блокчейні з випадковим часом синхронізації блоків на основі протоколу консенсусу OUROBOROS PRAOS
за авторством: Ковальчук, Л.В., та інші
Опубліковано: (2025)

Метод k-mer у завданнях виявлення закономірних послідовностей
за авторством: Терпіловський, Є.О.
Опубліковано: (2024)

Знаходження стохастичного градієнта для оптимізації ефективності систем, які описуються деревами відмов з ефективністю
за авторством: Кузнєцов, І.М., та інші
Опубліковано: (2022)

On one problem of search for mobile target
за авторством: Chikri, G.
Опубліковано: (2023)

Bayesian data analysis in modeling and forecasting nonlinear nonstationaryfinancial and economic processes
за авторством: Trofymchuk, O., та інші
Опубліковано: (2023)

ОЦІНЮВАННЯ ДІАБЕТИЧНОГО МАКУЛЯРНОГО НАБРЯКУ ЗА ДОПОМОГОЮ АПАРАТУ НЕЧІТКИХ МНОЖИН
за авторством: АБРАМЕНКО, ЛЮДМИЛА ВОЛОДИМИРІВНА, та інші
Опубліковано: (2019)

Про двокритеріальну оптимізацію портфеля акцій
за авторством: Garashchenko, Fedir G., та інші
Опубліковано: (2017)

Оптимальна диверсифікація портфеля акцій за ринкових обмежень
за авторством: Kulian, Victor R., та інші
Опубліковано: (2020)

Classification of minimal and maximal non-serial positive posets
за авторством: Bondarenko, V. M.; Інститут математики НАН України, Київ, та інші
Опубліковано: (2024)

Категорії як формальні моделі обчислень
за авторством: Provotar, Oleksandr, та інші
Опубліковано: (2023)

Особливості застосування багаторозрядної арифметики в математичному моделюванні
за авторством: Khimich, Oleksandr, та інші
Опубліковано: (2023)

Актуальные проблемы современной арифметики с плавающей запятой
за авторством: Ющенко, Р.А.
Опубліковано: (2012)

Оцінювання рівня соціальної динаміки та перспектив розвитку суспільства, заснованого на знаннях
за авторством: Lazarenko, Iryna, та інші
Опубліковано: (2017)

Methods of Numeration of Discrete Sequences
за авторством: M. A. Hupal
Опубліковано: (2021)

Growing of containerized oak seedlings using substrates of different composition
за авторством: V. V. Hupal
Опубліковано: (2016)

Генерування великих чисел для тестування алгоритмів багаторозрядної арифметики
за авторством: Терещенко, А.М., та інші
Опубліковано: (2021)

Оптимізація на загальній множині перестановок зі знаком
за авторством: Pichugina, Oksana S.
Опубліковано: (2017)

Особенности арифметики с плавающей запятой в современных компьютерах
за авторством: Ющенко, Р.А., та інші
Опубліковано: (2016)

Determination of Groups of Risks at the Diseases COVID-19
за авторством: O. A. Vahis, та інші
Опубліковано: (2020)

Реалізація алгоритму розв’язання системи лінійних діофантових рівнянь в кільці лишків
за авторством: Кривий, С.Л., та інші
Опубліковано: (2017)

О технологии длинной арифметики при построении алгоритмов исследования линейных систем
за авторством: Кудин, В.И., та інші
Опубліковано: (2009)

Про ефективне обчислення сум характерів на основі методів А. Г. Постнікова: Fìz.-mat. model. ìnf. tehnol. 2021, 32:13-16
за авторством: Glazunov, Nikolaj
Опубліковано: (2021)

Тензорные модели НМ-гранул и их применение для решения задач нечеткой арифметики
за авторством: Минаев, Ю.Н., та інші
Опубліковано: (2013)

Использование арифметики многорозрядных чисел в современных компьютерных технологиях решения задач трансвычислительной сложности
за авторством: Задирака, В.К., та інші
Опубліковано: (2010)

Критерії і методи порівняння нечітких множин
за авторством: Zak, Yu. A.
Опубліковано: (2013)

Синтез функцій прогнозування динамічних процесів для моделей у просторі станів на основі діофантових рівнянь
за авторством: Romanenko, V. D., та інші
Опубліковано: (2010)

Bayesian recognition procedures in the analysis of blood plasma protein structures according to laser spectrograph measurements in brain tumors
за авторством: A. M. Hupal, та інші
Опубліковано: (2022)

Solvability of NP-complete problems
за авторством: O. A. Vahis, та інші
Опубліковано: (2022)

Analysis of protein structures of blood plasma in gliomas using Bayesian recognition procedures on the markov chain model
за авторством: A. M. Hupal, та інші
Опубліковано: (2022)

Про симетрію комбінаторних множин
за авторством: Тимофієва, Н.К.
Опубліковано: (2017)

Наближення розв’язку крайової задачі інтерполяційним функціональним поліномом другого порядку
за авторством: Demkiv, Ihor
Опубліковано: (2023)

Металонефропатії: теорія і практика
за авторством: Шафран, Л.М., та інші
Опубліковано: (2009)

ОПТИМІЗАЦІЯ АРХІТЕКТУР МОДУЛЬНИХ СИСТЕМ ЕЛЕКТРОННОГО НАВЧАННЯ
за авторством: Коваленко, Олексій Єпіфанович
Опубліковано: (2008)