2021-03-23 数学者は予想し、証明する 物理数学 数学の証明は一度であるが、「予想」という形で準・証明が提議される。数学には、仮説の提唱とその証明とがあって、仮説を提唱する人とそれを解く人とは、しばしば異なるらしい。 証明には又、「レンマ」という問題の書き換え、言い替え、があって、数学は懐が深い。良いレンマを建てられれば証明は近い。 偉大な予想、つまり証明に時間と労力を要する予想は、数学を切り開き、時に新しい数学を創る。素数に関する「リーマン予想」の証明は、20世紀に予想され、その証明は今世紀に持ち越された。