Новое доказательство - теорема
Cтраница 2
Это доказательство геделевской теоремы о полноте заодно дает нам и новое доказательство теоремы Левенгейма о том, что всякая выполнимая формула выполнима в области натуральных чисел. Действительно, из неопровержимости формулы 5 мы сделали вывод не только о ее выполнимости вообще, но и о выполнимости в области натуральных чисел; с другой стороны, из выполнимости формулы, как мы знаем, вытекает ее неопровержимость. [16]
Интересна с методической точки зрения работа [503], где дано новое доказательство теоремы Алберта о конечных телах с ассоциативными степенями. [17]
Прилагая это замечание сначала к равенству ( 175 bis), получим новое доказательство теоремы Лапласа. [18]
Хотя доказательства теорем следуют главным образом Борелю [4], имеется ряд усовершенствований, среди которых - новое доказательство теоремы о нормализаторе, любезно предоставленное мне Борелем. [19]
Существует алгоритм согласованного выбора знаков, основанный на знании лишь системы Ф, и это приводит к новому доказательству теоремы об изоморфизме ( см. пп. [20]
В силу теоремы Стеклова - Фейера ( теоремы 15.2.2; см. последнее замечание в § 15.2, ( 2)) это действительно приводит к новому доказательству теоремы сходимости § 15.4 и притом даже для функций, интегрируемых в смысле Римана. [21]
В порядке ознакомления с применением специальных моделей в доказательстве результатов об интерполяции и определимости и чтобы освежить в памяти читателя этот результат, мы сначала приведем новое доказательство теоремы Робинсона о непротиворечивости, из которой читатель должен уметь выводить теорему Крэйга об интерполяции. [22]
Теорема Томсона об изменении циркуляции по контуру, проходящему через одни и те же движущиеся частицы жидкости, является одной из самых важных теорем теоретической гидродинамики, и Н. Е. Жуковский в своем курсе Теоретические основы воздухоплавания, дав новое доказательство теоремы Томсона, счел возможным отметить это обстоятельство, указав, что доказательство впервые появилось в печати. [23]
Таким образом, задача Коши для дифференциального уравнения ( 1) сводится к интегральному уравнению ( 7), которое всегда имеет единственное решение; отсюда следует, что если привлекать теорию линейных интегральных уравнений, то указанное преобразование дает новое доказательство теоремы существования и единственности решения дифференциального уравнения ( 1) с заданными начальными данными. [24]
В начале 20 - х годов Б. С. Стечкин занимался новыми доказательствами основных теорем гидродинамики. Так, ему принадлежит новое доказательство теоремы Био и Совара и теоремы Томсона о вихрях. [25]
Интерполяционная теорема Крэйга легко выводится из теоре мы Робинсона о непротиворечивости ( см. упр. Таким образом, мы получаем новое доказательство теоремы Крэйга. [26]
 |
Сложность алгоритмов построения паросочетании. [27] |
Этот алгоритм полезен также при применении двойственного линейного программирования для решения задачи построения паросочетания максимального веса, рассматриваемой как линейной программы, но описание политопа паросочетании, данное Эдмондсом, нам не понадобится. Анализ этого алгоритма приводит к новому доказательству теоремы о политопе паросочетании. [28]
Указание, применить указанную конструкцию к произвольному проектору пространства М на подпространство N и воспользоваться предложением 1.6.2.) Этот результат дает новое доказательство теоремы Машке, не зависящее от результатов гл. [29]
Нетрадиционно освещается ряд тем: кинематика, общие теоремы динамики, вывод уравнений Лагранжа, уравнение Гамильтона - Якоби. Часть материала выходит за рамки университетского курса: элементы теории линейных и квадратичных по скоростям интегралов, применение вариационных принципов, новое доказательство теоремы Дарбу о канонических координатах. В книгу включены задачи, иллюстрирующие и дополняющие теоретический материал, даны методические указания к ним. [30]
Страницы: 1 2 3