「コンピュータは数学者になれるのか?」P53の関数

その1

hexp(x,0)=x
hexp(x,s(y))=exp(2,hexp(x,y))


あらかじめ、ふたつの定義をあげておきます。

s(y)=y+1
つまり、yの後続数。

exp(x,y)=x^y
これは指数関数です。

さて、
hexp(x,y)として、xを固定し、yを動かしましょう。

hexp(x,0)=x
hexp(x,0+1)=exp(2,hexp(x,0))=exp(2,x)=2^x
hexp(x,1+1)=exp(2,hexp(x,1))=exp(2,2^x)=2^2^x
hexp(x,2+1)=exp(2,hexp(x,2))=exp(2,2^2^x)=2^2^2^x


どうかけばいいのかな。
関数=x(y=0のとき)
関数=2の2乗の2乗の(y回くりかえす)x乗(0
つづく
[PR]
by tomoarrow | 2015-10-26 07:00 | モチーフについて | Comments(0)