Л.Д. Беклемишев. Лекция 16. Соотношение между принципом Червя и доказуемо-вычислимыми функциями PA