人気ブログランキング |

「スマリヤンのゲーデル・パズル」Q160は、数学的帰納法の原理なのだ!

ネタバレになるので、未読の方は注意してください。

本のとおり、
Sx,y
を「yはxの後続数」
Ax,y,z
を「x+y=z」
と書くことにします。

Sa,a1
Sx,x1→Ax,y,z→Ax1,y,z1

つまりこれは、
「a+1=a1」
「x+y=zとすると、x+1+y=z1」
を意味しています。本記事では加算を取りあげましたが、積算や累乗でも、理屈は同じです。
by tomoarrow | 2015-11-06 07:00 | モチーフについて | Comments(0)