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

「スマリヤンのゲーデル・パズル」Q140の変形問題

集合W*の定義を間違えたまま、問題に取り組み、間違えた定義で解けてしまいました。新たな知見か? もったいないからここで公開します。

教本の定義
XX∈W↔︎X∈W*

ぼくの勘違いした定義
X∈W↔︎XX∈W*

Q140(a)
X=KK’として、W*を表現する述語Hが存在し、
X’∈W↔︎X’X’∈W*↔︎H(X’X’)=T
↔︎H#X’=T
X’=K’K’なので、
↔︎H#(K’K’)=T↔︎H##K’=T
K’=H##’とすると、
↔︎H##H##’=T
↔︎KK’=T↔︎X=T
by tomoarrow | 2016-05-02 07:00 | モチーフについて | Comments(0)