Cтраница 4
Когда в 1913 г. Бору удалось дать элементарный вывод соотношения постоянных Ридберга для однократно ионизованного гелия и водорода и полученный теоретически результат совпал с опытными данными с точностью до пятой значащей цифры [ ВЗ ], стало совершенно очевидно, что представления Бора во многом соответствуют реальности. [46]
Формулировка и доказательство теоремы Эрбрана, приведенные выше, относятся к предваренным формулам. Но приведенный нами метод доказательства с использованием символьного решения и теоремы об элементарном выводе позволяет дать более общую формулировку этой теоремы, относящуюся ко всем таким формулам, у которых ни один квантор не стоит ни в области действия какого-либо знака отрицания, ни в каком-либо члене импликации или эквивалентности, или, выражаясь позитивно, относящуюся ко всем таким формулам, которые могут быть построены из предваренных формул с помощью конъюнкций, дизъюнкций и кванторов. [47]
Для лиц, работающих в области теории уравнения состояния, эта монография может явиться очень полезной настольной книгой. Она содержит следующие разделы: а) обзор важнейших уравнений состояния ( некоторые замечания о критериях точности уравнения состояния; элементарный вывод уравнения Ван-дер - Ваальса; уравнения Клаузиуса, Бертло, Дитериче, А. Последний раздел этой части построен на результатах многочисленных исследований авторов этого сочинения, о которых говорилось выше. [48]
Измеренные лабораторным путем функции т т ( р), k k ( p), р2 р2 ( р) дополняют уравнение (21.4) при условии, что в лаборатории моделировались пластовые условия деформирования образца. В рассматриваемом случае деформации должны происходить из-за снижения норового давления при неизменных обжимающих образец нагрузках ( см. § 19); это условие вызвано принятой здесь локальной формулировкой гипотезы о постоянстве горного давления, а также не требующей анализа нелинейных связей деформаций и напряжений ( а также деформаций и пористости) элементарного вывода. [49]