НЕРАЗРЕШИМОСТЬ


НЕРАЗРЕШИМОСТЬ

- невозможность решения данной задачи точно очерченными средствами. Ниже рассмотрены важнейшие примеры Н. в математике.

Алгоритмическая неразрешимость. В различных областях математики возникают проблемы, в к-рых требуется найти единую механич. процедуру ( алгоритм), с помощью к-рой можно было бы решить любую задачу из данного бесконечного класса однотипных задач. Такие проблемы наз. массовыми проблемами. Примером может служить 10-я проблема Гильберта, состоящая в построении алгоритма, к-рый позволил бы для любого заданного многочлена с целыми коэффициентами узнать, существуют ли целые значения переменных, обращающие этот многочлен в нуль. Многие массовые проблемы долгое время не поддавались решению; впоследствии оказалось, что трудность их решения имеет принципиальный характер. Это удалось установить лишь после того, как в 30-х гг. 20 в. в математич. логике было выработано точное понятие алгоритма и для нек-рых массовых проблем было доказано, что искомые в них алгоритмы не существуют. Такие массовые проблемы наз. неразрешимыми, или алгоритмически не разрешимыми. Неразрешимыми оказались многие другие алгоритмич. проблемы из различных областей математики, в частности 10-я проблема Гильберта (см. также Алгоритмическая проблема).

Установление алгоритмической Н. данной массовой проблемы показывает, что для решения каждой конкретной задачи из рассматриваемого класса требуется свой специфический для этой задачи метод, т. к. единого метода решения всех этих задач не существует.

Неразрешимые предложения. Одним из способов построения математич. теории является аксиоматический метод. При аксиоматич. построении теории ряд ее положений принимается в качестве исходных, или аксиом, а другие получаются как их следствия. В работах Д. Гильберта (D. Hilbert) и его школы понятие аксиоматич. теории было уточнено в виде понятия формальной системы. Намеченная Д. Гильбертом программа обоснования математики предусматривала, в частности, формализацию основных разделов математики - арифметики, анализа, теории множеств, т. е. построение формальной системы, из аксиом к-рой можно было бы вывести практически все математич. теоремы. Однако в 1931 К. Гёдель (К. Godel) показал, что всякая формальная система арифметики неполна в том смысле, что можно указать предложение, к-рое в этой системе нельзя ни доказать, ни опровергнуть (т. е. доказать его отрицание). Такие предложения наз. неразрешимыми, или формально неразрешимым и, в данной системе. В частности, для всякой непротиворечивой формальной системы, содержащей достаточно богатую часть арифметики, утверждение о непротиворечивости этой системы оказывается неразрешимым в ней (см. Гёделя теорема о неполноте).

Н. предложения в данной формальной системе означает, что невозможно убедиться в его истинности или ложности на основании лишь тех представлений об исследуемом объекте, к-рые выражены в аксиомах и правилах вывода. Часто оказывается возможным расширить формальную систему за счет новых аксиом таким образом, чтобы нек-рое конкретное неразрешимое в ней предложение можно было доказать или опровергнуть в получившейся системе. Обнаружение в аксиоматич. теории неразрешимых предложений имеет важное значение для развития этой теории, т. к. стимулирует поиск новых фундаментальных положений, к-рые можно было бы принять в качестве аксиом.

Примером Н. в элементарной математике является Н. таких геометрич. задач на построение, как трисекция угла и квадратура круга при помощи циркуля и линейки.

Лит.:[1] Гильберт Д., Бернайс П., Основания математики. Логические исчисления и формализация арифметики, пер. с нем., М., 1979.

В. Е. Плиско.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Синонимы:

Смотреть что такое "НЕРАЗРЕШИМОСТЬ" в других словарях:

  • неразрешимость — неразрешимость …   Орфографический словарь-справочник

  • неразрешимость — НЕРАЗРЕШИМЫЙ, ая, ое; им. Такой, что нельзя решить, разрешить. Н. вопрос. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 …   Толковый словарь Ожегова

  • неразрешимость — сущ., кол во синонимов: 1 • непреодолимость (8) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • Неразрешимость — ж. отвлеч. сущ. по прил. неразрешимый Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 …   Современный толковый словарь русского языка Ефремовой

  • неразрешимость — неразрешимость, неразрешимости, неразрешимости, неразрешимостей, неразрешимости, неразрешимостям, неразрешимость, неразрешимости, неразрешимостью, неразрешимостями, неразрешимости, неразрешимостях (Источник: «Полная акцентуированная парадигма по… …   Формы слов

  • Неразрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …   Википедия

  • неразрешимость — неразреш имость, и …   Русский орфографический словарь

  • неразрешимость — *неразреши/мость, и …   Слитно. Раздельно. Через дефис.

  • неразрешимость — см. неразрешимый; и; ж. Неразреши/мость задачи. Неразреши/мость конфликта …   Словарь многих выражений

  • НЕРАЗРЕШИМОСТЬ ТЕОРИЙ —     НЕРАЗРЕШИМОСТЬ ТЕОРИЙ см. Металогика, Разрешения проблемы. Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001 …   Философская энциклопедия

Книги

Другие книги по запросу «НЕРАЗРЕШИМОСТЬ» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.