|
nasldfhgon |
Bar рекурсия  16.03.2013, 12:13 |
|
16/03/13
17
|
|
Может ли кто-нибудь объяснить (либо дать ссылку на доказательство) почему bar рекурсия невыразима примитивно рекурсивными функционалами, что пришлось добавить к Гёделевской System T bar рекурсор помимо обычного примитивно рекурсивного рекурсора?
|
|
|
|
 |
|
nasldfhgon |
Re: Bar рекурсия 02.04.2013, 17:33 |
|
16/03/13
17
|
|
Что никто не знает? Может я что-то слишком сложное спрашиваю для этого форума?
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 2 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
