18/11/27 04:36:45.22 3I2v7vYr.net
証明の長さの研究をしています。
組み合わせの問題で反例を作ろうと思うと、証明の長さが200TBに及ぶというのを
見つけました。
URLﾘﾝｸ(www.gizmodo.jp)
そもそも、証明の長さの最大長なんてあるのか？ですが、答えは公理によるなど
複雑なものかもしれません。僕の単純な考えでは、最大長とか無いんですが、
医学的妄想では有るものだ、と返ってくるんですよ。確かに、証明の中で同じ
文章が繰り返し使われるのであれば、数学的帰納法などで短くできるので、
それで証明の長さの不等式を数式で記述できるのではないか？などを考えています。
こっちの話は人間の頭では解けないくらいで置いておいて、しばらくは数論を
勉強することにします。