"Это как раз матлогика, подраздел «теория вычислений»" - не та матлогика. В смысле, есть формальные системы, а есть теория вычислений и есть "теорема" Чёрча-Тьюринга. Так вот, вы работаете "по одну сторону" от теоремы, а я - "по другую". А между тем, "теорема" не доказана и даже не сформулирована строго, если это вообще возможно. Я употребляю ресурсы математики, вы употребляете ресурсы программирования. Но меня интересует именно сделать это ресурсами формальной логики, а не теории вычислений!
"Use идентификатор рекурсивной операции" - ага, я привёл этот вариант. Может, не этот, но по ссылке пойду - нефиг спойлерить!
Акт третий. Странные наклонности.
Я: *ем гречку с ничем, потому что люблю*
Кот: *голодный взгляд*
Я: тут просто гречка. Всё.
Кот: дааай!
Я: гречка. Просто гречка. У тебя в тарелке каша, сваренная на бульоне. И с рыбой!
Кот: *недоверчиво принюхивается, потому что нельзя с таким удовольствием есть кашу без рыбы*
Я: *кладу чайную ложку каши из своей тарелки*
Кот: *смотрит на меня взглядом "ты совсем дурочка?", ест свою прекрасную кашу с рыбой*
Но я вообще по мнению Пирожка личность ненадёжная. Только он отвернётся – я сразу начну есть кабачковую икру. Без него!