レイヤーが上がってゆく
14章は、真であることを証明可能な記号列、あるいは反証可能な記号列がテーマです。証明あるいは反証ができない記号列が存在することや、その性質を調べる問題が並んでいます。
すると、15章では、「ある記号列が証明可能、または反証可能であることを調べることが可能か? それを調べることが不可能な記号列が存在するか? 」となるのでしょうか。
16章は「ある記号列が証明、反証可能かを調べることが可能かどうか、調べることが可能か? 」となって・・・ゆくのかどうか、分かりませんよ。
ファン申請 |
||