1735264187
2024-12-26 12:00:00
おっと！もう一度試してください
テトライメージズ/Alamy
現代数学の広く使用されている分野の基礎となる証明の誤りが、数学者によって古い証明をコンピュータ言語に翻訳しているときに偶然発見されました。この間違いはすぐに修正されたが、数学者らは、このエピソードは、他の考えられる例を捉えるために数学をコンピューターで読み取り可能にすることの重要性を強調していると述べている。
現代数学のほとんどは研究論文や教科書に組み込まれており、それが正しいことを確認するために数学者がお互いの研究をチェックすることに依存しています。証明は本質的に社会的な構成要素です – 十分な数の数学者が証明の論理的ステップが次のとおりであると満足していれば…
#数学者が60年前の証明の誤りを発見し修正した