Cтраница 1
Подробное доказательство мы опускаем, так как оно аналогично доказательству пункта А. [1]
Подробное доказательство этой леммы дано в [ D13, § 1.12 ], поэтому мы его опустим. [2]
Подробное доказательство не содержит новых идей и поэтому не приводится. [3]
Подробное доказательство снова оставляем читателю в качестве упражнения. [4]
Подробное доказательство этой теоремы мы опускаем. [5]
Подробное доказательство предоставляется читателю в качестве упражнения. [6]
Подробное доказательство предоставляем читателю. [7]
Подробное доказательство и вывод частных производных, приведенных ниже, дан в гл. [8]
Подробное доказательство того, что функция Аккерман не примитивно рекурсивна, довольно длинно, и мы отсылал. Существенно то, что t растет быстрее, че любая примитивно рекурсивная функция. Чтобы почувство вать, как быстро растет функция, попробуйте вычислит несколько ее начальных значений. [9]
Подробное доказательство этой теоремы с учетом вращательных сте-леней свободы и высокоэнергетических полос можно найти в работе [66]; здесь приводится упрощенное доказательство, чтобы подчеркнуть наиболее, существенные моменты вывода. [10]
Подробное доказательство этой теоремы с учетом вращательных степеней свободы и высокоэнергетических полос можно найти в работе [66]; здесь приводится упрощенное доказательство, чтобы подчеркнуть наиболее существенные моменты вывода. [11]
Подробное доказательство этих утверждений проводится путем рассуждений, аналогичных представленным выше. [13]
Подробное доказательство этого результата, основанное на теореме о неявных функциях, приведено в книге Пуанкаре [ 146, гл. [14]
Подробное доказательство будет приведено только в случае г / с2, но доказательство для yci совершенно аналогично. [15]