18/11/26 05:55:12.24 XN1e38tN.net
未来人と妄想で話してるんですけどね、リーマン予想は証明できない、と来てるんですよ。
でも、証明できないことを証明できるって言われたんです。つまりですね、数学基礎論を
整備して、簡単なゼータの数式と簡単な数十個くらいの公理から出てくる数学には
複雑さ、すなわち、証明の長さに限界があり、量子コンピュータで総当たりで検索
しても結果が出てこないとなると、証明できないことが証明できる、というものです。
僕は、未来人が嘘をついてるかもしれない、量子脳理論が間違ってるかもしれない、
などの理由で、この考え方がファジー論理的に100%では無いと考えていますが、
「賭ける」という表現を使わさせていただきましょうか。僕はこの方針で証明を
進めてみます。