対角化について 2

「スマリヤンのゲーデル・パズル」による対角化の定義では、hを述語、xを任意の文字列として、h(xx)とh#xが同値とされている。

ここでは、同値をイコールで結んで記述する。

h(xx)=h#x
h11=h#1
h#=l1となり、
h11=l11
h=l
となる。これが、対角化である。

かりに、h=1とすると、h#=11となる。

(未完)
[PR]
by tomoarrow | 2015-10-06 07:00 | モチーフについて | Comments(0)