неразрешимость
41ТЕОРИЯ МНОЖЕСТВ — теория, в к рой изучаются множества (классы) элементов произвольной природы. Созданная прежде всего трудами Кантора (а также Р. Дедекинда и К. Вейерштрасса), Т. м. к концу 19 в. стала основой построения сложившихся к тому времени математич.… …
42АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… …
43ДВУЧЛЕННОЕ СРАВНЕНИЕ — алгебраическое сравнение вида (1) где а, т взаимно простые целые числа, а натуральное число. Если сравнение (1) разрешимо, то аназ. вычетом степени ппо модулю т. В противном случае аназ. невычетом степени ппо модулю т. Вопрос о разрешимости Д. с …
44ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …
45ПРЕДСТАВИМОСТИ МАТРИЦ ПРОБЛЕМА — проблема, заключающаяся в том, чтобы выяснить, можно ли указать такой единый общий метод ( алгоритм), к рый по произвольной системе U, U1 ,. . ., Uq целочисленных матриц позволял бы за конечное число шагов ответить на вопрос, представима ли… …
46ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… …
47Удвоение куба — классическая античная задача на построение циркулем и линейкой ребра куба, объём которого вдвое больше объёма заданного куба. Наряду с трисекцией угла и квадратурой круга, является одной из самых известных неразрешимых задач на построения с… …
48текст-удовольствие -текст-наслаждение — Фрац. TEXTE PLAISIR TEXTE JOUISSANCE. Понятия, вводимые в поздних работах Р. Барта. Фактически они во многом перекрывают друг друга, вернее, неотделимы друг от друга как два вечных спутника читателя, в чем Барт сам признается со столь типичной… …
49Модель жизнеспособной системы — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Викифицировать статью. Исправить статью согласно стилистическим правилам В …
50Алгоритмически неразрешимая задача — В теории вычислимости алгоритмически неразрешимой задачей называется задача, имеющая ответ да или нет для каждого объекта из некоторого множества входных данных, для которой (принципиально) не существует алгоритма, который бы, получив любой… …
