人気ブログランキング |

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

昨日の続きです。

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

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

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