07/10/18 06:38:43
>>573-574
不完全、いや完全に欠落。
何がってt[m]^t[0]の説明。
t[m], t[m-1], ..., t[0]
ってのは実は
((･･･((t[m]t[m-1])t[m-2])･･･t[1])t[0])
なわけだ。そんでもって
t[m]^t[0] t[m-1] ... t[1] t[0]
ってのは実は
((･･･((t[m](t[m](･･･(t[m]t[m-1])･･･)))t[m-2])･･･t[1])t[0])
なわけだ。そこんとこカッコがないから全然欠落してるわけだ。
5-714の書いたλ項では、そこんとこ自然数をChurch numeralで
扱ってるからうまくいってるわけだ。
漏れの中では、奴が抜きんでてるな。奴にだけは会いたい。あとはいいｗ
>>576-577
コイツは共依存で堕落するタイプだなｗ