人気ブログランキング |

原始再帰的関数の極限

形式だけで言うと、

i(x,y)=xモゴモゴy

となり、

i(0,y)=α
i(1,y)=α^y
i(2,y)=i(1,y)^y

となってゆく。

これを延々と続けると、カントルの言うところの順序数とかωみたいな構造が、演算でも作れそうだ。

これも雑な書き方だけど、こういう構造の極限を想像するのだよ。

d0164691_21383865.png

by tomoarrow | 2016-02-13 07:00 | モチーフについて | Comments(0)