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

「スマリヤンのゲーデル・パズル」Q70の証明 2

4文字以上の場合を検証します。その前に、定義aとして「いちばん左側のQよりも右の記号列をxとする」を約束します。さて、昨日の検証より、なにかの記号列をもたらす記号列は、下記のみとなります。

(1)Qx→x
(2)CQx→xQx
(3)CCQx→xQxQxQx



(n)CC・・CQx→・・・(長い記号列)

ここで、(2)より
CQC→CQC

(3)より
CCQx→xQxQxQx

→の両辺を同一と見なすと、定義aより
CC=x
x=xQxQx

ところが、xが定まらないため、両辺は同一になりません。
by tomoarrow | 2015-08-05 07:00 | モチーフについて | Comments(0)