Изменения

Перейти к: навигация, поиск
Нет описания правки
Диофант искал решение этих уравнений в рациональных числах, Гильберт спрашивал про решение диофантовых уравнений в целых числах.
В современной терминологии десятая проблема Гильберта является примером ''массовой проблемы''<ref>Матиясевич Ю. В. Десятая проблема Гильберта. — М.: Физматлит, 1993. - Математическая логика и основания математики, с.8.</ref>. Массовая проблема состоит из счетного количества вопросов на каждый из которых нужно дать ответ {{---}} да или нет. В данном случае эти вопросы параметризуются диофантовыми уравнениями и нужно сказать: да, данное диофантово уравнение имеет решение или нет, данное уравнение не имеет решения. И суть массовой проблемы состоит в том, что нужно найти единый универсальный метод, который позволял бы ответить на любой из этих вопросов. Среди двадцати трех «Математических проблем» Гильберта десятая является единственной массовой проблемой и она может рассматриваться, как проблема информатики. Сегодня мы знаем, что десятая проблема Гильберта решения не имеет. Это означает, что она не разрешима, как массовая проблема.
{{Теорема
* [[Примеры неразрешимых задач: однозначность грамматики|Однозначность грамматики]]
* [[Неразрешимость задачи об эквивалентности КС-грамматик]]
== Примечания ==
<references />
==Источники информации==
*Матиясевич Ю.В. Десятая проблема Гильберта. — М.: Физматлит, 1993. - Математическая логика и основания математики.
Анонимный участник

Навигация