18/09/26 20:53:27.97 dneVwqpc.net
>>353
もはやそういう状況じゃないくらいな感じで
証明されてない（と、思う）。
「完全証明した！」とかいう輩はゾロゾロいるんだが、
そういう輩は、そもそも数学が解ってない。
けっこう いい線まで行ってる（らしい）ヒトはいるんだが、
いまのところ壁に ぶち当たってる。
「仮にリーマン予想が正しいとして」みたいな感じで
いろいろやってる人は、矛盾が出てこないので、
「たぶん正しいんだろうな」と、だいたい思っている。
で、数学基礎論とかやってる人は、「おそらく正しいんだろうと
思ってんだけど、そもそも『正しい』ことが証明可能なのか？」
みたいなコトで悩んでいる。
おれが嘘を吐（つ）いていると思う この板の住民がいたら、
存分に叩いてくれ。