ABC予想の証明に「致命的な欠陥」?Leanによる検証結果が話題に
新着Gap in Mochizuki's proof of ABC confirmed by Lean
数学界を揺るがした望月新一教授によるABC予想の証明について、Leanによる形式検証が行われた結果、決定的なギャップ(欠陥)が存在することが確認されました。長年続いたこの議論にいよいよ終止符が打たれることになるのでしょうか。
HNで話題になっている技術トピックを収集し、日本語で読みやすく整理します。
Gap in Mochizuki's proof of ABC confirmed by Lean
数学界を揺るがした望月新一教授によるABC予想の証明について、Leanによる形式検証が行われた結果、決定的なギャップ(欠陥)が存在することが確認されました。長年続いたこの議論にいよいよ終止符が打たれることになるのでしょうか。
Goodbye, and Thanks for All the Bikesheds
エンジニア界隈における「バイシッド(Bikeshedding:本質的ではない些細な機能やデザインの議論に膨大な時間を費やすこと)」に終止符を打ちます。もう細かい枝葉末節に時間を溶かすのはやめにしませんか?本質的な開発とアーキテクチャに集中するための、私なりの決別宣言です。