0794ゲーム好き名無しさん (オッペケ Sr73-OzxO)
2022/08/26(金) 16:34:52.29ID:1AWZZZ4Hr「証明」されたものが「定理」です
「証明」されていないものは「定理」ではありません
×「メガCDはCLVリード固定であり、CAVリード非対応定理」
○「メガCDはCLVリード固定であり、CAVリード非対応と予想」
予想 - Wikipedia
ttps://ja.m.wikipedia.org/wiki/%E4%BA%88%E6%83%B3
数学においては「予想」(conjecture) という語は、真であると思われてはいるが、
いまだに真であるとも偽であるとも証明されていない命題を指す。
例としては、リーマン予想、ゴールドバッハの予想、P≠NP予想がある。
予想がもし真であると証明されれば定理となり、
さらに他の命題の証明に利用できることになる。