人気ブログランキング | 話題のタグを見る

Q163

nがXのゲーデル数なら、nのノルムはXのノルムのゲーデル数になるか?

aのゲーデル数をx0と書くことにすると、問題は
n=X0→nn0=(XX0)0
であるか? になる

n=X0
nのノルムはnn0

なので、nのノルムは
nn0=X0(X0)0

任意の文字列yzのゲーデル数は、
(yz)0=y0z0
なので、
(XX0)0=X0(X0)0=nn0

つまり、nがXのゲーデル数なら、nのノルムはXのノルムのゲーデル数になる。

QED

#スマリヤンのゲーデル・パズル
by tomoarrow | 2016-05-28 07:00 | モチーフについて | Comments(0)