Cтраница 2
Эта последняя формулировка применима к реализациям, в которых допускаются квазиотрицательные вызовы в программах и которые основываются на так называемом допущении замкнутости мира: отрицание предиката Р справедливо, если Р недоказуем. Такой прием широко известен под названием отрицание как неудача. [16]
Эта последняя формулировка кажется лучше всего подходит для обычных условий транспорта. [17]
Из последней формулировки теоремы Вариньона в применении к любой оси следует, что для определения количества М9 следует найти моменты относительно оси Oz сил А, У, Z и их сложить. [18]
В последней формулировке скорректированная сумма квадратов имеет две составляющих. [19]
В последней формулировке предполагается, что нельзя выбрать нормы, принадлежащие к некоторому заранее очерченному, но достаточно широкому классу. Как правило, в качестве такого класса рассматриваются нормы, включающие оценку функции и ее производных вплоть до некоторого фиксированного порядка. [20]
В последней формулировке второго закона термодинамики применено понятие энтропии. [21]
В последней формулировке основного уравнения динамики частицы не нужно забывать, что движение частицы происходит под действием только силы Sv. Этим чисто математическим приемом достигается возможность перенесения математических методов решения задач статики на задачи динамики. Поскольку даламбе-рова сила инерции не, входит в разряд действительно приложенных к частице сил, она является фиктивной силой. [22]
В последней формулировке основного уравнения динамики частицы не нужно забывать, что движение частицы происхрдит под действием только силы Sv. Этим чисто математическим приемом достигается возможность перенесения математических методов решения задач статики на задачи динамики. Поскольку даламбе-рова сила инерции не входит в разряд действительно приложенных к частице сил, она является фиктивной силой. [23]
Решение в этой последней формулировке тривиально: вместо старой координаты вводят новую смещенную координату, так что в новой системе координат положение равновесия находится в начале координат. [24]
На первый взгляд, последняя формулировка явно противоречива, хотя фактически противоречия в ней нет. [25]
Вейль [2] придерживается этой последней формулировки, и, действительно, гель кремнезема представляется как полимер Si ( ОН) 4, в котором каждая ячейка соединена со следующей в линейный полимер. [26]
Нетрудно, конечно, изменить последнюю формулировку и на тот случай, когда соединение водорода с углеродом происходит с поглощением теплоты. [27]
Читателю предлагается самостоятельно убедиться в правильности последней формулировки. [28]
Не трудно, конечно, изменить последнюю формулировку и на тот случай, когда соединение водорода с углеродом происходит с поглощением теплоты. [29]
В общем-то, несмотря на некоторую расплывчатость последней формулировки, можно сказать, что введенное множество трансфинитных чисел второго класса является вполне определенным, но при условии, что мы понимаем постулат актуализации в более расширенном значении: если при образовании натуральных чисел актуализируются ( объединяются в единое целое) единицы или элементы, при образовании трансфинитных чисел второго класса - их последовательности, то теперь речь идет об актуализации самого процесса предшествующей актуализации. Более абстрактным образом - сначала актуализируются множества элементов, а теперь речь идет о множестве множеств элементов. Так что Кантор фактически вступил здесь в область логики третьего порядка, распространив вместе с тем на нее закон исключенного третьего, а тем самым - в соответствии с нашей гипотезой ( см. с. [30]