ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Используя неразрешимость задачи, содержащейся в Десятой проблеме Гильберта, доказывается, что задача проверки существования ненулевого аналитического решения, удовлетворяющего нулевым граничным условиям, является алгоритмически неразрешимой для линейных дифференциальных уравнений в частных производных с полиномиальными коэффициентами.