原始再帰関数

以前、f が(原始)再帰関数の時、flip f が(原始)再帰関数かをちょっと考えて分からずに放置したことを思い出した。そのときは、チューリングマシンくらい威力があるんだからできるに決まってるよな、と思いはしたのだが。

今回、f(p2(x1,x2),p1(x1,x2)) に気がついたとき、唖然とした。まじで俺馬鹿。