数理統計学のコクランの定理のコクランと、疫学・医学統計のコクラン・レビューのコク…

jrf> 数理統計学のコクランの定理のコクランと、疫学・医学統計のコクラン・レビューのコクランが別人であることを Gemini さんに指摘されて初めて知った。前者は Cochran、後者は Cochrane で微妙につづりも違うとのこと。コクランの定理がどうしても私は証明できなくて、最近 Twitter (X) で表示された(↓)数学者の信頼にもとづく証明になっていたのではないか…という疑いを抱き、その信頼のためにコクラン・レビューがあった…みたいに疑っていたのだが、Gemini さんにキッパリ否定された。でも、実は同じスコットランド系で、生年も1909年と同じらしい。驚き。

《Nora:X:2026-08-06》  
https://x.com/0xNoraa/status/2085376861383569513
＞(訳)

世界で最も偉大な数学者の一人である彼が、自分の有名な証明が間違っていたことを発見した。それは何年も受け入れられてきたが、それはただ彼の名声が信頼されていたからにすぎなかった。

彼の名前はウラジーミル・ヴォエヴォドスキーだった。彼はすでにフィールズ賞を受賞しており、それは数学界のノーベル賞ともいえるものだった。彼は伝説だった。彼が証明したものは、人々は信じた。

だからこそ、別の数学者が彼の主要な論文の一つに深刻な誤りを静かに指摘したとき、ほとんど誰も耳を傾けなかった。ヴォエヴォドスキー自身もそれを軽くあしらった。彼はあまりに尊敬されていたので、間違っているはずがなかった。

しかし何年か後、彼は再び確認した。そして、その他の数学者が正しかった。彼の称賛された証明には、最初から穴があったのだ。

それは彼の中で何かを壊した。彼は後年、それを人生最大の失敗だと呼んだ。そして、それは彼の全分野について、恐ろしい真実に直面せざるを得ない状況を生んだ。

彼は気づいたのだ。数学は信頼の上に成り立っている、と。証明はあまりに長く複雑になり、ほとんど誰も完全に検証しない。人々はただ有名な名前に信じるだけだ。そして、有名な名前も時には間違っている。

そこで彼は古い研究をやめ、残りの人生を費やして新しい種類の数学を構築した。そこではコンピュータがすべてのステップを検証するので、もう証明が名声の後ろに隠れることはない。

彼は2017年に突然亡くなり、当時わずか51歳だった。

彼が残した教訓は、不穏なものだ。私たちが「証明された」と呼ぶものの多くは、本当は「信頼されていた」だけだったのだ。
＜