予想
表示
編集
数学においては「予想」(conjecture) という語は、真であると思われてはいるが、いまだに真であるとも偽であるとも証明されていない命題を指す。例としては、リーマン予想、ゴールドバッハの予想、P≠NP予想がある。
予想がもし真であると証明されれば定理となり、さらに他の命題の証明に利用できることになる。予想からさらに他の予想を導くこともしばしば行われる。
証明されてもなお「予想」のまま呼ばれる定理もあり、例としてはポアンカレ予想やフェルマー予想、ヴェイユ予想がある。
逆に偽であることが証明されたものとしては、オイラー予想、ポリア予想等がある。