Cтраница 4
Численные значения р и k могут быть получены как из уравнения ( 3) после графического дифференцирования зависимости y ( t), так и приближенным решением уравнения ( 4) с использованием разложения е - в ряд. [46]
Высказывание число т является номером некоторой последовательности выражений из F, являющейся выводом выражения с номером п-о с помощью нумерации конечных последовательностей выражений из F, получающейся из нумерации выражений из F путем использования разложения целых чисел 52 на простые множители, изображается двуместным рекурсивным предикатом и, тем самым, в формализме рекурсивной арифметики оно выражается некоторой рекурсивной формулой2) 33 ( т, п), у которой тип суть единственные входящие в нее переменные. [47]