Bar рекурсия

[nasldfhgon]

Может ли кто-нибудь объяснить (либо дать ссылку на доказательство) почему bar рекурсия невыразима примитивно рекурсивными функционалами, что пришлось добавить к Гёделевской System T bar рекурсор помимо обычного примитивно рекурсивного рекурсора?

[nasldfhgon]

Что никто не знает? Может я что-то слишком сложное спрашиваю для этого форума?