Несуществование

Cтраница 3

Говоря более точно, аксиомы допускают случай несуществования двух различных полезностей. Такая возможность едва ли представляет интерес, однако мы можем с ней легко справиться. Если двух различных полезностей нет, то их число должно быть либо нуль, либо один. В первом случае наши утверждения выполняются тривиально. [31]

Алгоритм работы машины Тьюринга по переработке слова bcadc в слово bcdcc. [32]

Таким образом, вопрос о существовании или несуществовании алгоритма для задачи того или иного типа следует понимать как вопрос о существовании или несуществовании машины Тьюринга, обладающей нужным свойством. [33]

В точке MI - максимум, однако частные производные не существуют. В точке М нет экстремума, однако частные производные. [34]

Более того, обращение в нуль или же несуществование частных производных первого порядка является более общим необхо-димымым условием экстремума. [35]

Геометрическая иллюстрация теоремы. [36]

Обычно труднее доказывать существование ретракции, чем ее несуществование. [37]

Существует критическое значение, разделяющее области существования и несуществования решения. [38]

Точный смысл названия этого параграфа несколько другой: несуществование плоского сверхзвукового обтекания ограниченного или полубесконечного тела безграничным равномерным на бесконечности потоком с непрерывным полем скорости. [39]

Член с тремя производными нарушает и операторное доказательство несуществования таких членов, приведенное в гл. [40]

В статье В. П. Жукова [30] рассмотрены вопросы обобщения критериев несуществования Бендиксона и Дюлака на многомерный случай. [41]

Определение понятия алгоритма было использовано, для доказательства несуществования алгоритмов для решения того или иного класса задач. Так, например, Черч показал, что не существует алгоритма, решающего проблему разрешимости исчисления предикатов. Проблемы, заключающиеся в отыскании алгоритма, решаю -, щего ту или иную бесконечную серию однотипных задач, получили название алгоритмических проблем. Неразрешимость алгоритмической проблемы означает, что, искомый алгоритм невозможен. В последнее время no - J лучен ряд результатов, относящихся к неразрешимости алгоритмических проблем в различных разделах математики. Эти результаты являются приложением математической логики к вопросам, лежащим вне ее. [42]

Близкое соображение лежит в основе данного Пуанкаре доказательства несуществования первых интегралов в задаче трех тел. [43]

Заметим, что без аксиомы выбора утверждение о несуществовании наибольшего кардинала или равносильное утверждение о том, что Card - не множество, вообще говоря не доказуемы. [44]

В заключение я хотел бы еще заметить, что несуществование метилена вряд ли может, как это думает Гутри, мешать закономерному переходу от каждого данного вещества к его ближайшему гомологу. [45]

Страницы: 1 2 3 4