Cтраница 2
Доказательство для формулы текущей стоимости подобно этому и потому не приводится. Подобное доказательство также может быть дано для общего полагающегося аннуитета. [16]
Такие реакции еще очень редко удается осуществить. В одном из случаев подобное доказательство механизма, кажется, удалось: речь идет о превращении оптически активного 1-хлорэтилбензола в 1-фенилэтиламин. [17]
Дальше рассуждаем, как обычно в подобных доказательствах. [18]
К сожалению, доказать, что задача труднорешаема часто не менее трудно, чем найти эффективные алгоритмы ее решения. Даже выдающиеся теоретики оказывались беспомощными в попытках получить подобное доказательство для часто встречающихся трудных задач. [19]
В системах, в которых для очистки гибрида используется РНК-аза, устойчивый к ферменту гибрид представляет собой, как это было доказано, структуру, стабилизированную комплементарными водородными связями ( см. разд. Для систем, в которых элюирование проводили солевыми растворами, подобное доказательство отсутствует, и это заставляет с осторожностью относиться к результатам таких экспериментов. [20]
Но ведь подробный доклад этого исследователя был сравнительно недавно заслушан на Всесоюзном геохимическом совещании, а основные данные опубликованы в печати. Данные эти свидетельствуют о настолько ничтожных количествах газа, что подобное доказательство неорганического синтеза нефтяных углеводородов не только не помогает обоснованию защищаемой Н. А. Кудрявцевым гипотезы, но, наоборот, возбуждает еще большие сомнения. [21]
Но ведь подробный доклад этого исследователя был сравнительно недавно заслушан на Всесоюзном геохимическом совещании, а основные данные опубликованы в печати. Данные эти свидетельствуют о настолько ничтожных количествах газа, что подобное доказательство неорганического синтеза нефтяпых углеводородов не только не помогает обоснованию защищаемой Н. А. Кудрявцевым гипотезы, но, наоборот, возбуждает еще большие сомнения. [22]
Проведем из него три прямые, ДА, ЛЕВ, ЛГ, к местам трех затмений. Теперь, чтобы сделать более удобным приложение теоретических рассуждений в подобных доказательствах, будут они, как в данном случае, основаны на гипотезе эпицикла или же на гипотезе эксцентра [ рис. 4.5 ], когда центр Л берется внутри [ круга ], мы дадим следующее применимое во всех случаях описание. Продолжим одну из трех соединяющих прямых [ ЛА, ЛВ или ДГ ] до противоположной части окружности, как, например, в рассматриваемом случае ДЕВ. [23]
Параметр п для фиксированной структуры поперечного сечения СПЛ остается неизменным, з меняется незначительно. Данное обстоятельство подтверждает правильность основного результата работы [20], в которой подобного доказательства не приводилось. [24]
Далее, Беккером, применившим для исследования эмиссионный микроскоп-проектор [18], было опубликовано доказательство существования на поверхности вольфрама адсорбционных центров двух видов, различающихся по плотности кислорода. Эти два вида центров характеризуются различными энергиями связи, причем одна из них соответствует теплоте адсорбции 4 эв, а вторая - 2 эв. Подобное доказательство можно вывести из данных по адсорбции азота, полученных Гринхальфом и сотрудниками [19], которые показали, что на некоторых металлах наблюдается необратимый и обратимый тип хемосорб-ции, особенности которой зависят от рода металла и адсорбата. По-видимому, скорости физической адсорбции на адсорбционных центрах обоих видов одинаковы, а скорости перехода в хемосорбированное состояние различны. Этим обусловливается наблюдаемое быстрое и медленное поглощение. [25]
Очевидное решение, состоящее в ограничении диапазона изменения весовых шагов, ставит вопрос о математической корректности полученного таким образом алгоритма. В работе [6] доказана сходимость системы к глобальному минимуму лишь для исходного алгоритма. Подобного доказательства при искусственном ограничении размера шага не существует. В действительности экспериментально выявлены случаи, когда для реализации некоторой функции требуются большие веса, и два больших веса, вычитаясь, дают малую разность. [26]
В целом класс макросистем, для которых может быть строго доказано свойство возрастания энтропии при их движении к равновесному состоянию, достаточно широк. Этот класс включает и некоторые макросистемы, изучаемые в рамках физико-химической механики основных процессов химической технологии. Например, подобное доказательство приведено - в работе [29], где излагается статистическая модель процессов переноса в псевдо-ожиженном слое. [27]
В случае малого вязкого демпфирования ширина резонансного пика Дю при значении амплитуды 16д 6A max / V2 непосредственно связана с тангенсом угла потерь, а именно имеет место равенство Aco / ( oi tg ( p, что позволяет легко найти тангенс угла потерь при помощи динамических характеристик. Докажем, что эта связь оказывается приближенно верной в каждом резонансном состоянии для достаточно общих вязкоупругих характеристик, определяемых через зависящие от частоты комплексные податливости, почти независимо от типа рассматриваемой структуры. Автору неизвестно, было ли опубликовано подобное доказательство; кроме того, в ходе исследования будет получен способ определения динамических вязкоупругих откликов при помощи численных упругих решений. [28]
Число С есть так называемая эйлерова постоянная, часто встречающаяся в исчислении конечных разностей. В приводимом здесь ее выражении неверен только последний знак. Можно доказать, что частичные суммы убывающих членов этого ряда при х-оо имеют предел; этот предел и есть эйлерова постоянная. Разумеется, Эйлер не видел никакой надобности в подобном доказательстве. [29]
Аналогия этого понятия с понятием непротиворечивости заключается в том, что, как мы увидим в дальнейшем, во всякой противоречивой системе, содержа - щей в себе обычные логические принципы, также все формулы выводимы. Непустота нашей системы доказывается очень просто. Уже формула а b в ней не может быть выведена. Это легко доказать, пользуясь содержательным смыслом формализма. В самом деле, если бы слово а b было выводимым, то содержательное числовое равенство а b должно было бы быть истинным для любых чисел а и 6, чего на самом деле нет. Подобное доказательство представляется чу жеродным постановке вопроса о непустоте формализ - - ма, так как в определение рассматриваемых нами слов и действий над ними понятие числа нигде не входит. Точнее говоря, недостаток этого доказательства заключается в том, что оно опирается на гипотезу о непротиворечивости той числовой системы, которая употреб - ляется для интерпретации. Однако эту интерпретацию можно сделать настолько простой, что вопрос о непротиворечивости для нее отпадет. [30]