人気ブログランキング |

スマリヤンのゲーデル・パズルQ160 (2)

積算(*)
x*y=zを表現する

*(x,1,x)
x*1=x

*(x,y,z)→s(y,y’)→+(x,z,z’)→*(x,y’,z’)
x*y=z→y+1=y’→x+z=z’→x*y’=z’


累乗(^)
x^y=zを表現する

^(x,1,x)
x^1=x

^(x,y,z)→s(y,y’)→*(x,z,z’)→^(x,y’,z’)
x^y=z→y+1=y’→x*z=z’→^(x,y’z’)

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