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

レイヤーが上がってゆく

「スマリヤンのゲーデル・パズル」を進めているのですが、13章は、記号列の真偽が、テーマでした。真偽が決まらない記号列の存在や、その性質を調べる問題を解きました。

14章は、真であることを証明可能な記号列、あるいは反証可能な記号列がテーマです。証明あるいは反証ができない記号列が存在することや、その性質を調べる問題が並んでいます。

すると、15章では、「ある記号列が証明可能、または反証可能であることを調べることが可能か? それを調べることが不可能な記号列が存在するか? 」となるのでしょうか。

16章は「ある記号列が証明、反証可能かを調べることが可能かどうか、調べることが可能か? 」となって・・・ゆくのかどうか、分かりませんよ。
by tomoarrow | 2015-08-26 07:00 | モチーフについて | Comments(0)