Непустота

Cтраница 3

А это в силу неравенства ( 231) и теоремы XXXI противоречит предположениям о непрерывности функции на ограниченных замкнутых Мв я N при непустоте первого. [31]

Мы знаем теперь, конечно, что формализовать можно и аристотелеву логику, определив достаточно точно простые ( элементарные) предикаты, на которые наложено требование непустоты ( см., например, Я. Если, однако, понятие простого класса не уточняется, то и в наше время с критикой Венна можно только согласиться. [32]

Любой неориентированный граф Т может быть графом несовместимости. [33]

R ( yj) U Т ( у) П Щш) U R ( yt) П 2 Ы - Придумать фрагмент операторной схемы, который обеспечивал бы непустоту такого множества, нетрудно. Если yt - изолированная вершина графа Т, для нее нужно все равно завести область действия, но не связанную ни с какой другой. От каждого оператора fij должны вести дуги, приводящие в конце концов на какие-то операторы, воспринимающие х и Xj. При этом важно, чтобы все результаты, которым сопоставлен жг, попали бы в одну компоненту связности информационного графа. [34]

Считая, что в В0 введена метрика Пуанкаре, рассмотрим да В0 выпуклую ( гиперболическую) оболочку множества дВ0 Л Л ( G) и определим Вес: В0 как внутренность этой выпуклой оболочки, непустота которой есть прямое следствие определения 5.62 мак-симального шара. [35]

Аналогия этого понятия с понятием непротиворечивости заключается в том, что, как мы увидим в дальнейшем, во всякой противоречивой системе, содержа - щей в себе обычные логические принципы, также все формулы выводимы. Непустота нашей системы доказывается очень просто. Уже формула а b в ней не может быть выведена. Это легко доказать, пользуясь содержательным смыслом формализма. В самом деле, если бы слово а b было выводимым, то содержательное числовое равенство а b должно было бы быть истинным для любых чисел а и 6, чего на самом деле нет. Подобное доказательство представляется чу жеродным постановке вопроса о непустоте формализ - - ма, так как в определение рассматриваемых нами слов и действий над ними понятие числа нигде не входит. Точнее говоря, недостаток этого доказательства заключается в том, что оно опирается на гипотезу о непротиворечивости той числовой системы, которая употреб - ляется для интерпретации. Однако эту интерпретацию можно сделать настолько простой, что вопрос о непротиворечивости для нее отпадет. [36]

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

Можно считать, что оно гласит: рассматриваемое слово непусто. Условие непустоты применимо к любому слову и дает ответ да, если слово непусто, и ответ нет, если оно пусто. [38]

Zp-ацикличность ( и непустота) комплекса К 0, где G есть р-группа Для комплекса K - K / G справедлив и более сильный результат. [39]

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

Самый эффективный метод, позволяющий ответить на этот вопрос, использует построение локального времени пересечения. Наиболее общим образом, чтобы показать непустоту случайного множества и, в частности, изучить свойства типичных точек этого множества, достаточно построить ( разумную случайную) меру, сосредоточенную на этом множестве. [41]

Таким образом, если языки L ( ( gj и L ( 2) не равны, то в процессе работы либо разбегутся дорожки на величину большую, чем 2с, либо нет, однако существует ситуация, когда один из автоматов останавливается в состоянии Ост. Оба эти случая тривиально сводятся к проблеме определения непустоты языка, воспринимаемого некоторым МП-автоматом. Эта проблема алгоритмически разрешима. [42]

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

В заключение несколько слов по поводу рассматриваемой теоремы как эквивалента ахсиомы выбора. Так как в самой ее формулировке содержится утверждение о непустоте декартова произведения множеств ( Цериело) или об отличном от нуля произведении кардинальных чисел ( Жегалкин и Журден), то тем самым мы имеем аксиому выбэра в ее мультипликативной форме. [44]

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

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