Деталь - доказательство
Cтраница 3
Здесь имеется некоторая неясность относительно необходимости налагаемых условий, а также ряда деталей доказательства. [31]
Отдельные этапы доказательства близки к соответствующим отдельным этапам доказательства теоремы 26.1. Ввиду этого некоторые детали доказательства опустим. Разумеется, пространство непрерывных функций C ( S, Е) плотно в L. [32]
Мы считали целесообразным сформулировать теорему Фурье с известной осторожностью, хотя и не входя в детали математических доказательств, значительная сложность которых связана с наличием целого ряда различных ограничений. [33]
Поскольку результаты для комплексного случая получаются теми же методами, что и в вещественном случае, детали доказательств мы будем опускать. [34]
При этом само собой разумеется, что решение теоретической задачи предполагает хотя бы некоторое частичное владение техникой: в противном случае детали доказательства окажутся столь затруднительными, что не позволят увидеть задачи в целом. [35]
Имеют ли доказательства без утечки информации какие-нибудь практические применения помимо удовлетворения самолюбия математиков, желающих заявить о своем приоритете до того, как будут опубликованы детали доказательства. Например, Ади Шамир, работающий ныне в Институте Вейцмана в Израиле, придумал способ, позволяющий использовать методы доказательства без утечки информации в создании удостоверений личности, исключающих возможность подделки. Представьте себе, что в карточку, удостоверяющую личность, вмонтирован компьютерный чип, способный вступать в быстрый диалог с компьютерным чипом в устройстве, используемом для проверки удостоверения личности. За считанные секунды, задавая более или менее случайные вопросы и получая ответы, проверяющий может без тени сомнения убедиться в подлинности карточки, хотя идентификация личности не может быть произведена с абсолютной достоверностью. [36]
Интуитивно очевидно, что эта граница будет достигнута на некоторой замкнутой кривой, которая будет соответствовать какому-то периодическому движению, дееь мы не будем входить в детали доказательств, а ограничимся тем. [37]
Теорема 15.7 может быть доказана по существу тем же методом, что и теорема 8.22, или другим методом, описанным в задаче 8.6. Мы не будем здесь излагать все детали доказательства. [38]
В книге довольно много задач, цель которых, помимо прочего, в том, чтобы сообщить ряд дополнительных разрозненных сведений ( взятых из исследовательских работ) и разгрузить основной текст от некоторых деталей доказательств. [39]
Если А Ai, то дополнение Лс также принадлежит X, так как щ ( Ас) / / - ( П) - щ ( А), г 1 2, и i ( fi) / i2 ( 0) оо - Поэтому класс М монотонный. Детали доказательства мы оставляем читателю. [40]
Показать, что этот результат является частным случаем общей теоремы 6 непросто, и мы оставляем это читателю. Детали доказательства также оставляются читателю. [41]
Противоречивость секвенции ( 2) может быть установлена уже средствами одного лишь исчисления высказываний, для чего мы можем продолжать подъем, пользуясь правилами ( V. Детали доказательства предоставляются читателю. [42]
Если мы внимательно просмотрим доказательство теоремы 3, то увидим, что нам не понадобились иные условия, накладываемые на структуру машины, кроме данных в теореме. Детали доказательства оставляем читателям. [43]
А [ п - т ] образует сортирующее дерево. Детали доказательства оставляем в качестве упражнения. [44]
 |
Значение Е ( d при ограниченной интерпретации. [45] |
Страницы: 1 2 3 4