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

  • 21АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …

    Философская энциклопедия

  • 22МАССОВАЯ ПРОБЛЕМА — бесконечный класс (научных) проблем (задач), охарактеризованный (или могущий быть охарактеризованным) при помощи нек рого единого эффективно распознаваемого условия. На фигурирующее в этом пояснении понятие проблемы следует смотреть как на… …

    Философская энциклопедия

  • 23ТОЖДЕСТВА ПРОБЛЕМЫ — проблемы эквивалентности, проблемы иден тичности, проблемы равенства с л о в (англ. word problems) – задачи нахождения общего метода (алгоритма), позволяющего для произвольной пары элементов к. л. множества, в к ром определено отношение типа… …

    Философская энциклопедия

  • 24Квадратура круга — Круг и квадрат одинаковой площади Квадратура круга  задача, заключающаяся в нахождении построения с помощью циркуля и линейки квадрата, равновеликого по площади данно …

    Википедия

  • 25Алгоритмов теория —         раздел математики, изучающий общие свойства Алгоритмов. Содержательные явления, приведшие к образованию понятия «алгоритм», прослеживаются в математике в течение всего времени её существования. Однако само это понятие сформировалось лишь… …

    Большая советская энциклопедия

  • 26ОЗНАЧИВАНИЕ — базовое понятие постмодернистской концепции текстовой семантики, фундированной отказом от идеи референции (см. ПУСТОЙ ЗНАК), фиксирующее процессуальность обретения текстом смысла, который исходно не является ни заданным, ни данным. Эта установка… …

    История Философии: Энциклопедия

  • 27АЛГОРИТМИЧЕСКАЯ СВОДИМОСТЬ — одно из основных понятий алгоритмов теории и ее приложений Возникло в связи с тем, что неразрешимость (и разрешимость) многих алгоритмических проблем устанавливается большей частью не непосредственно, а путем сведения к исследуемой проблеме такой …

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

  • 28СУЩЕСТВЕННО НЕРАЗРЕШИМАЯ ТЕОРИЯ — алгоритмически неразрешимая логическая теория, все непротиворечивые расширений к рой также неразрешимы (см. Неразрешимость). Элементарная теория является С. н. т. тогда и только тогда, когда всякая ее модель имеет неразрешимую элементарную теорию …

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

  • 29Диофантово уравнение — это уравнение вида где P целочисленная функция (например, полином с целыми коэффициентами), а переменные принимают целые значения. Названы в честь древнегреческого математика Диофанта. Содержание 1 Примеры …

    Википедия

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

    Википедия