  |
ABC予想ってそもそも形式的に証明可能なんですか？ 真か偽かのいずれ一方であることを信じて証明に挑んでる数学者が多い気はしますけど、証明可能かどうかを証明しようとしてる数学者も同時並行で存在してるんでしょうか？
やっぱり証明にてこずっていると思っていたら実は証明不可能な命題でしたってことになったら今まで証明にかけた時間はなんだったんだってなるじゃないですか。それでも永久に証明できない命題に時間を捧げ続けてしまうよりはマシなので、証明可能性を検討する数学者もいてもいいと思うんですけど…
いまさらこれだけ時間をかけてきた命題の証明が実は証明自体不可能だったなんて聞かされたくないっていうサンクコスト効果みたいなのもあるんでしょうけど、永遠に比べれば遅すぎるものなんてないと思いんですよね。
12
