「スマリヤンのゲーデル・パズル」にミスプリを発見 2
zCzQzCz
(zは偶数個のV)
ではなく、
(zはn個のV、n=1.2.3・・)
が正しいです。
記号列「VCVQVCV」は、「VCVQVCV」をもたらします。
並んだ偶数個のVをWと定義すると、記号Wはなにもしない記号になります。奇数個のVをV'と定義して、Vと同じはたらきをする記号と見なすこともできます。
すると、
WCWQWCW
V'CV'QV'CV'
どちらも、自身をもたらす対称記号列となります。
zCzQzCz
(zは偶数個のV)
(zはn個のV、n=1.2.3・・)
ファン申請 |
||