Словарь форм слова

    1. неразреши́мость;
    2. неразреши́мости;
    3. неразреши́мости;
    4. неразреши́мостей;
    5. неразреши́мости;
    6. неразреши́мостям;
    7. неразреши́мость;
    8. неразреши́мости;
    9. неразреши́мостью;
    10. неразреши́мостями;
    11. неразреши́мости;
    12. неразреши́мостях.
  1. Источник: Полная акцентуированная парадигма по А. А. Зализняку»



  2. Толковый словарь Ожегова

    НЕРАЗРЕШИ́МЫЙ, -ая, -ое; -и́м. Такой, что нельзя решить, разрешить. Н. вопрос.

  3. Источник: Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949-1992.



  4. Малый академический словарь

    , ж.

    Свойство по знач. прил. неразрешимый.

    Неразрешимость проблемы. Неразрешимость национального вопроса при капитализме.

  5. Источник: Малый академический словарь. — М.: Институт русского языка Академии наук СССР. Евгеньева А. П.. 1957—1984.



  6. Толковый словарь Ефремовой

    ж.

    отвлеч. сущ. по прил. неразрешимый

  7. Источник: Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000.



  8. Большой англо-русский и русско-английский словарь

    жен. insolubilityinsolubility

  9. Источник: Большой англо-русский и русско-английский словарь



  10. Англо-русский словарь технических терминов

    undecidability

  11. Источник: Англо-русский словарь технических терминов



  12. Русско-английский словарь математических терминов

    f.insolubility, unsolvability, undecidability

  13. Источник: Русско-английский словарь математических терминов



  14. Большой французско-русский и русско-французский словарь

    ж.

    insolubilité f

  15. Источник: Большой французско-русский и русско-французский словарь



  16. Большой испано-русский и русско-испанский словарь

    ж.

    insolubilidad f

  17. Источник: Большой испано-русский и русско-испанский словарь



  18. Большой итальяно-русский и русско-итальянский словарь

    ж.

    insolubilità

  19. Источник: Большой итальяно-русский и русско-итальянский словарь



  20. Математическая энциклопедия

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

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

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

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

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

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

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

    В. Е. Плиско.

  21. Источник: Математическая энциклопедия



  22. Русско-английский политехнический словарь

    undecidability

    * * *

    неразреши́мость ж.

    insolubility, unsolvability

    рекурси́вная неразреши́мость — recursive unsolvability

  23. Источник: Русско-английский политехнический словарь



  24. Dictionnaire technique russo-italien

    ж. матем.

    insolubilità f

  25. Источник: Dictionnaire technique russo-italien



  26. Русско-украинский политехнический словарь

    матем.

    нерозв'я́зність, -ності

    - неразрешимость арифметики

    - неразрешимость выполнимости

    - рекурсивная неразрешимость

  27. Источник: Русско-украинский политехнический словарь



  28. Русско-украинский политехнический словарь

    матем.

    нерозв'я́зність, -ності

    - неразрешимость арифметики

    - неразрешимость выполнимости

    - рекурсивная неразрешимость

  29. Источник: Русско-украинский политехнический словарь