Доказательство данной теоремы производится аналогично доказательству теоремы о термических КПД теплоэнергоустановок с активной и термодинамически идеальной системами охлаждения. ...
Доказательство предыдущей теоремы основано только на внутренних оценках производных, что допускает более общие условия на коэффициенты и граничные данные. ...
Автоматическое доказательство теорем способно сейчас внести реальный вклад в исследования в различных областях. С использованием доказывающей программы были решены открытые проблемы в математике и в формальной логике. Но этим не исчерпываются возможные приложения. Есть реальные свидетельства практического использования таких программ, и успех в области проектирования схем и обнаружения отказов - один из примеров тому. ...
Другое доказательство теоремы 8.5 предлагается в [46,0.288], ио то доказательство неполно. Данный пробел не так легко обнаружить. Он состоит в молчаливом предположении, что неопределенный интеграл от ядра имеет смысл, т.е. ядро как функция двух переменных интегрируема. Ошибка была замечена Г.Н. Хиле, который также дал деликатную теоретико-мерную замену для рассуждений. ...
Приведенное доказательство теоремы Морли значительно проще, чем первоначальное доказательство Морли, и принадлежит Балдуину и Лахлану. Две основные леммы, а именно теорема Левенгейма - Скулема - Тарского о двух кардиналах и лемма 7.1.13, не были известны Морли, с другой стороны, первоначальное доказательство Морли дает большее количество дополнительной информации о ( о-стабильных теориях, которая представляет самостоятельный интерес. Одно из замечаний Морли, которое нетрудно доказывается, касается понятия неразличимости в стабильных теориях. ...
Новое теоретическое доказательство в пользу того, что с помощью рентгеновской голограммы можно получить исключительно высокие пространственные разрешения, значительно выше тех, которые ранее считались предельными. Реальная перспектива достижения коэффициента увеличения свыше 1 106 делает возможным получение рентгеновских изображений с высоким разрешением. ...
Более убедительное доказательство того факта, что при низких концентрациях гидроксильных ионов ионизация гидразина как основания затрудняется, было получено Гильбертом [166] в его исследовании скорости окисления гидразина феррицианидом. В кислых растворах окисление не происходит. ...