Заключительная формула

Cтраница 1

Заключительная формула может подвергнуться только дизъюнктивному расщеплению. [1]

Заключительная формула приведенного доказательства приводит к следующему важному выводу. [2]

Перефразирована заключительная формула французских королевских эдиктов. [3]

Указанное свойство заключительной формулы сохранится и в том случае, если мы после устранения всех критических формул заменим каждый из оставшихся е-термов конкретной переменной а, за исключением тех из них, которые являются составными частями каких-либо объемлющих их е-термов. [4]

При переходе от заключительных формул обоих этих подвы-водов к формуле, происходящем с помощью двух схем заключения, прирост высоты может иметь место, как уже было установлено, только во второй схеме; этот прирост равен d g - 1 - - А. [5]

Ввиду некоторой громоздкости, заключительные формулы, определяющие решение, здесь не приводятся. [6]

Функция источника. [7]

Проведенные рассуждения вместе с заключительной формулой (4.88) показывают, что функция G ( x, t, x0) определяет распределение температуры вдоль бесконечного стержня в моменты времени t 0, возникшее от мгновенного точечного источника тепла мощностью Q - ф, помещенного в начальный момент t О в точку х0 стержня. [8]

Всегда верен, верна - заключительная формула в письмах. Погода гадкая, хандру наводит, а я все-таки, как обыкновенно, toujours fidele. [9]

И в том случае, когда заключительная формула вывода не содержит связанных переменных, и в том случае, когда она начинается кванторами существования, но не содержит ни других кванторов, ни е-символов, мы начнем наше доказательство совершенно так же, как и раньше. [10]

Тем самым будет показано, что заключительная формула первоначального вывода тоже является истинной, так как при производимых нами операциях устранения индукции и квантора существования заключительная формула не меняется вообще, а при вычислении нумерических термов в концевом фрагменте хотя эта формула сама и может измениться, но ее истинностное значение останется без изменений. [11]

Еще с одной стороны следует подойти к заключительной формуле Мартова: вполне достаточно признать противоречивость сочетания старого режима с конституционализмом. [12]

А теперь посмотрим, какие порядковые числа получают заключительные формулы этих двух подвыводов. Для этого мы должны будем исследовать высоты формул нашего вывода. [13]

Итак, в целом в результате применения операции устранения индукции порядковое число заключительной формулы ( а значит, и всего вывода) уменьшается. [14]

Но в таких умозаключениях о доказательствах, в прослеживании гипотетической последовательности формул, приводящей к заключительной формуле - ( 1 1), наш разум не может не использовать тот тип опыта, на котором основана возможность итерации. В аксиоматизации математики Гильберт был скован большими ограничениями, чем Цермело: будь он столь же либерален со своими аксиомами, всякий шанс доказать их непротиворечивость был бы потерян; проводя такое доказательство, Гильберт руководствуется некоторым как бы неясно предощущаемым планом такого доказательства. Именно по этой причине он находит желательным, например, различать несколько уровней переменных. [15]

Страницы: 1 2 3