人気ブログランキング |

自己参照

関数と言うのか、述語と言うのか、

(1)
y=zf(x)

を考えてください。これに「yとは「zはxをfする」を意味する」の意味を期待します。

さて、xにyを代入すると

(2)
y=zf(y)=zf(zf(y))=zf(zf(zf(y)))=・・・

と、えんえんと続きます。なんとかうまくできないものでしょうか。
by tomoarrow | 2016-04-07 07:00 | モチーフについて | Comments(0)